Bug Finder 欠陥チェッカーの構成

既定では、PolyspaceBug Finder は事前定義されている欠陥のセットをチェックします。[チェッカーの選択] ウィンドウを使用して一連のコーディング ルールと欠陥を有効にします。有効にした一連のチェッカーをチェッカー アクティベーション ファイル (.xml) に保存し、以降の解析でこのアクティベーション ファイルを使用します。チェッカー アクティベーション ファイル (-checkers-activation-file) を参照してください。

または、解析オプション -checkers を使用して追加の欠陥のチェックを有効にします。複数の欠陥チェッカーを有効にするには、このオプションの入力で、チェッカーの短い名前のコンマ区切りリストを指定します。たとえば、-checkers DATA_RACE,TAINTED_HOSTID のようにします。特定のタイプの欠陥をチェックするチェッカーのセットを有効にするには、グループの短い名前を入力として指定します。たとえば、同時実行欠陥チェッカーを有効にする場合は、オプション -checkers concurrency を使用します。欠陥グループの一覧については、Bug Finder 欠陥グループを参照してください。欠陥チェッカーおよび欠陥グループの短い名前については、Bug Finder 欠陥グループおよび欠陥チェッカーの短い名前を参照してください。