Visual Studio Code での Polyspace as You Code の実行と結果のレビュー
Visual Studio Code での Polyspace® as You Code 拡張機能の構成、解析の実行、結果の確認
Visual Studio Code で Polyspace as You Code 拡張機能を使用している場合、単一ファイルの分析は、ファイルの保存時に実行することも、明示的に実行することもできます。解析では、現在アクティブなファイルの欠陥 (バグ)、コーディング規約違反などの問題がチェックされます。解析結果はソース コード マーカーとして表示され、さらに別のリストに表示されます。
トピック
使用法
- Visual Studio Code での Polyspace as You Code の実行と結果のレビュー
Polyspace の結果をソース コード マーカーとして表示するか、または Visual Studio Code エディターのリストに表示し、問題の修正または結果の正当化を行う。 - コードへの注釈付けと既知の結果または許容可能な結果の非表示 (Polyspace Bug Finder)
既知の問題を正当化するための Polyspace コード注釈構文を確認する。
インストールと構成
- 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 Code
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Polyspace 解析のオプション ファイル (Polyspace Bug Finder)
- Polyspace as You Code での解析失敗または予期しない結果のトラブルシューティング
- Visual Studio Code での Polyspace as You Code Analysis のビルド オプションの生成
ビルド タスク、ビルド コマンド、または JSON コンパイル データベースからビルド構成情報を抽出します。 - Visual Studio Code での Polyspace as You Code 用チェッカーの構成
Polyspace 欠陥チェッカーとコーディング ルール違反の選択を作成、変更、またはインポートする。
- Visual Studio Code で Polyspace as You Code の結果をベースラインとして設定する
ベースラインを取得して新しい結果のみに注目し、レビュー情報をインポートし、統合コンテキスト情報を取得する。
