Visual Studio での Polyspace as You Code 用にチェッカーを構成する

Visual Studio で Polyspace^® as You Code を使用して、さまざまなタイプの欠陥とコーディングルール違反をチェックできます。欠陥 (Polyspace Bug Finder)およびコーディング規約 (Polyspace Bug Finder)を参照してください。既定の解析では、欠陥のサブセットをチェックします。既定で有効な Polyspace Bug Finder 欠陥チェッカー (Polyspace Bug Finder)を参照してください。既定以外の欠陥とコーディングルール違反をチェックするには、IDE で Polyspace as You Code 拡張機能を構成します。

チェッカーを構成するには、チェッカーファイルを作成した後、[オプション] ウィンドウでそのチェッカーファイルを指定します。Polyspace デスクトップおよびサーバーでの同等のワークフローについては、Polyspace Bug Finder 解析用のチェッカー構成の準備 (Polyspace Bug Finder)を参照してください。

チェッカーとコーディングルールの選択

コーディングルールチェッカーと既定以外の欠陥のチェッカーを選択するには、[ソリューションエクスプローラー] ペインでプロジェクトを右クリックして、[Polyspace properties] を選択します。[Analysis] タブでチェッカー構成を指定します。

Visual Studio Polyspace project properties

チェッカー構成の作成または変更

[チェッカーの選択] ウィンドウで、チェッカーとコーディングルールの選択を新しく作成するか、既存の選択を変更します。再利用可能なチェッカーファイルに新しい構成を保存します。

[Polyspace properties] ウィンドウの [Analysis] タブで、をクリックして [チェッカーの選択] ウィンドウを開きます。
新しい選択を作成するには、[チェッカーの選択] ウィンドウで、有効にする欠陥およびコーディングルールチェッカーを選択します。既存の選択を変更するには、[参照] をクリックし、既存のチェッカーファイルを参照して、チェッカーの選択を変更します。
また、事前定義された欠陥チェッカーカテゴリを有効にすることもできます ([すべて]、[既定]、[高]、[中]、[低] など)。影響度による欠陥の分類 (Polyspace Bug Finder)を参照してください。同様に、対応する規約によって定義されているコーディングルールの事前定義済みセットを有効にすることができます。
- [Guidelines] 、 [Software Complexity] チェッカーを選択する場合、それぞれのしきい値をレビューします。既定のしきい値が許容できない場合、[しきい値] 列で適切なしきい値を指定します。ガイドラインをチェック (-guidelines) (Polyspace Bug Finder) を参照してください。
- [カスタム] ルールを選択した場合、ルールの [パターン] および [規則] をレビューします。カスタムルールのチェック (-custom-rules) (Polyspace Bug Finder) を参照してください。
- カスタムコーディング規約分類を作成する場合、または対象の Bug Finder コーディングルールチェッカーにタグ付けする場合、[チェッカーの選択] ウィンドウの [コメント] 列にテキストを入力します。Polyspace では、デスクトップインターフェイス、Polyspace Access™、または Polyspace as You Code プラグインで結果をレビューするとき、入力したそのテキストが [結果の詳細] ペインおよび (使用できる場合) [結果のリスト] の [詳細] 列に表示されます。
  メモ
  [チェッカーの選択] インターフェイスで入力するカスタムテキストは、以下では省略されます。
  生成されるレポート。
  Polyspace デスクトップインターフェイス (このデスクトップインターフェイスで Polyspace Access から結果を開く場合)。この制限は Bug Finder チェッカーにのみ適用されます。
[変更の保存] をクリックして、再利用可能なチェッカー XML ファイルとして選択を保存します。[完了] をクリックした後、新しいチェッカー XML ファイルのパスが [Polyspace properties] ウィンドウの [Analysis] タブの [Checkers file] フィールドで指定されます。

デスクトッププロジェクトからチェッカー構成をインポートする

チェッカーとコーディングルールの選択を Polyspace デスクトッププロジェクト (*.psprj) ファイルからインポートするには、[Polyspace properties] ウィンドウの [Analysis] タブで [Import options from Polyspace desktop project (*.psprj)] をクリックします。プロジェクトファイルが格納されているフォルダーを参照して、プロジェクトファイルを指定します。デスクトッププロジェクト内のチェッカー構成が、[Checkers file] フィールドで指定されたチェッカーファイルとして抽出されます。デスクトッププロジェクトの解析オプションが、[Analysis options file] フィールドで指定されたオプションファイルとして抽出されます。

チェック動作の変更

Bug Finder 欠陥チェッカーとコーディングルールの既定の動作を変更するには、解析オプションを使用します。チェッカーの既定の動作を変更する解析オプションのリストについては、Bug Finder チェッカーの既定の動作の変更 (Polyspace Bug Finder)を参照してください。

Polyspace as You Code で解析オプションを指定するには、次のようにします。

[Analysis options file] フィールドで指定されたオプションファイルで解析オプションを追加します。オプションファイルは、各行に 1 つの解析オプションを含んでいるテキストファイルです。たとえば、解析オプション -code-behavior-specifications (Polyspace Bug Finder) および[有効な boolean 型] (-boolean-types) (Polyspace Bug Finder) を追加するには、オプションファイルで次の行を追加します。
```
-code-behavior-specifications file1
-boolean-types boolean1_t,boolean2_t
```
オプションファイルがない場合は、必要なオプションが入ったオプションファイルを作成してください。新しいオプションファイルのパスを [Analysis options file] フィールドで指定します。Polyspace 解析のオプションファイル (Polyspace Bug Finder)を参照してください。