Visual Studio での Polyspace as You Code の実行と結果のレビュー

Visual Studio での Polyspace as You Code 拡張機能の構成、解析の実行、結果の確認

これらのトピックでは、Polyspace as You Code を使用して Visual Studio^® IDE で単一ファイルの解析を実行する方法を説明します。Polyspace Bug Finder などの Polyspace デスクトップ製品の場合は、Visual Studio ビルドからの Polyspace プロジェクトの作成 (Polyspace Bug Finder)を参照してください。

Visual Studio で Polyspace^® as You Code 拡張機能を使用している場合、ファイルの保存時または明示的に単一ファイルの解析を実行できます。解析では、現在アクティブなファイルの欠陥 (バグ)、コーディング規約違反などの問題がチェックされます。解析結果はソースコードマーカーとして表示され、さらに別のリストに表示されます。

トピック

使用法

Visual Studio での Polyspace as You Code の実行と結果のレビュー
Polyspace の結果をソースコードマーカーとして表示するか、または Visual Studio IDE のリストに表示し、問題の修正または結果の正当化を行う。
コードへの注釈付けと既知の結果または許容可能な結果の非表示 (Polyspace Bug Finder)

既知の問題を正当化するための Polyspace コード注釈構文を確認する。
- Bug Finder 欠陥グループおよび欠陥チェッカーの短い名前 (Polyspace Bug Finder)

インストールと構成

Install Polyspace as You Code Using Installer

Install Polyspace as You Code analysis engine and IDE extensions.
- Install Polyspace as You Code Extension in Visual Studio
Configure Polyspace as You Code Extension in Visual Studio

Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Polyspace 解析のオプションファイル (Polyspace Bug Finder)
- Troubleshoot Failed Analysis or Unexpected Results in Polyspace as You Code
Generate Build Options for Polyspace as You Code Analysis in Visual Studio
Extract build configuration information from solution, build command, or JSON compilation database.
Visual Studio での Polyspace as You Code 用にチェッカーを構成する

Polyspace 欠陥チェッカーとコーディングルール違反の選択を作成、変更、またはインポートする。
- Polyspace as You Code の解析範囲
Set Baseline Polyspace as You Code Results in Visual Studio
Get baseline and focus on new results only, import review information, get integration context information.