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.
- Configure Polyspace as You Code Extension in Visual Studio
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- 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 欠陥チェッカーとコーディング ルール違反の選択を作成、変更、またはインポートする。
- 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.
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)