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 コード注釈構文を確認する。
- Use a Justification Catalog to Autocomplete Annotations in Polyspace as You Code plugins
- Bug Finder 欠陥グループおよび欠陥チェッカーの短い名前 (Polyspace Bug Finder)

インストールと構成

Install Polyspace as You Code Using Installer

Install Polyspace as You Code analysis engine and IDE extensions.
- Visual Studio Code での Polyspace as You Code 拡張機能のインストール
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)
- Troubleshoot Failed Analysis or Unexpected Results in Polyspace as You Code
Visual Studio Code での Polyspace as You Code Analysis のビルドオプションの生成
ビルドタスク、ビルドコマンド、または JSON コンパイルデータベースからビルド構成情報を抽出します。
Visual Studio Code での Polyspace as You Code 用チェッカーの構成

Polyspace 欠陥チェッカーとコーディングルール違反の選択を作成、変更、またはインポートする。
- Polyspace as You Code の解析範囲
Visual Studio Code で Polyspace as You Code の結果をベースラインとして設定する
ベースラインを取得して新しい結果のみに注目し、レビュー情報をインポートし、統合コンテキスト情報を取得する。