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 の使い方

Visual Studio Code での Polyspace as You Code 解析の実行 (Polyspace Access)
Visual Studio Code で Polyspace as You Code の構成、実行、管理を行います。

使用法

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

既知の問題を正当化するための Polyspace コード注釈構文を確認する。
- Use a Justification Catalog to Autocomplete Annotations in Polyspace as You Code plugins (Polyspace Access)
- Bug Finder 欠陥グループおよび欠陥チェッカーの短い名前

インストールと構成

Install Polyspace as You Code Using Installer (Polyspace Access)

Install Polyspace as You Code analysis engine and IDE extensions.
- Visual Studio Code での Polyspace as You Code 拡張機能のインストール (Polyspace Access)
Configure Polyspace as You Code Extension in Visual Studio Code (Polyspace Access)

Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Polyspace 解析のオプションファイル
- Polyspace as You Code での解析失敗または予期しない結果のトラブルシューティング (Polyspace Access)
Visual Studio Code での Polyspace as You Code Analysis のビルドオプションの生成 (Polyspace Access)
ビルドタスク、ビルドコマンド、または JSON コンパイルデータベースからビルド構成情報を抽出します。
Visual Studio Code での Polyspace as You Code 用チェッカーの構成 (Polyspace Access)

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