このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。
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)
インストールと構成
- Polyspace 解析のオプション ファイル (Polyspace Bug Finder)
- Polyspace as You Code での解析失敗または予期しない結果のトラブルシューティング
- Visual Studio での Polyspace as You Code 用にチェッカーを構成する
Polyspace 欠陥チェッカーとコーディング ルール違反の選択を作成、変更、またはインポートする。
