特定の Bug Finder の欠陥チェッカーの選択

Bug Finder で欠陥チェッカーの事前定義されたサブセットを使用して C/C++ コードをチェックできます。ただし、解析中にチェックする欠陥はカスタマイズすることもできます。

スプレッドシートを使用すると、有効にする欠陥チェッカーを追跡し、他のチェッカーを有効にしない理由を説明するメモを追加できます。チェッカーのスプレッドシートは、polyspaceroot\polyspace\resources で提供されています。ここで、polyspaceroot は C:\Program Files\Polyspace\R2019a のような Polyspace® インストール フォルダーです。

ユーザー インターフェイス (デスクトップ製品のみ)

  1. [構成] ペインで、[Bug Finder 解析] を選択します。

  2. [欠陥の検出] メニューから、欠陥のセットを選択します。次のオプションがあります。

組織内でバグ検出を標準化するには、欠陥チェッカーのリストを構成テンプレートとして保存し、組織内で共有します。構成テンプレートを使用した Polyspace デスクトップ ユーザー インターフェイスでのプロジェクトの作成を参照してください。

コマンド ライン

オプション [欠陥の検出] (-checkers) を使用します。チェッカーのコンマ区切りのリストを引数として指定します。たとえば、データ レース チェッカーのみを有効にしてサーバー上で Bug Finder 解析を実行するには、次のように入力します。 

polyspace-bug-finder-server -sources filename -checkers DATA_RACE,DATA_RACE_STD_LIB
Bug Finder チェッカーの完全な名前ではなく短い名前を使用します。Bug Finder 欠陥グループおよび欠陥チェッカーの短い名前を参照してください。

参考

トピック