Eclipse での Polyspace as You Code の実行と結果のレビュー

Eclipse での Polyspace as You Code プラグインの構成、解析の実行、結果の確認

Eclipse™ で Polyspace^® as You Code プラグインを使用している場合は、ファイルの保存時または明示的に単一ファイルの解析を実行できます。解析では、現在アクティブなファイルの欠陥 (バグ)、コーディング規約違反などの問題がチェックされます。解析結果はソースコードマーカーとして表示され、さらに別のリストに表示されます。

トピック

使用法

Run Polyspace as You Code in Eclipse and Review Results
View Polyspace results as source code markers or in a list in Eclipse IDE, fix issues or justify results.
コードへの注釈付けと既知の結果または許容可能な結果の非表示 (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.
- Eclipse での Polyspace as You Code プラグインのインストール
Configure Polyspace as You Code Plugin in Eclipse

Set Polyspace as You Code plugin settings such as analysis launch mode and build configuration.
- Polyspace 解析のオプションファイル (Polyspace Bug Finder)
- Troubleshoot Failed Analysis or Unexpected Results in Polyspace as You Code
Generate Build Options for Polyspace as You Code Analysis in Eclipse
Extract build configuration information from project, build command, or JSON compilation database.
Configure Checkers for Polyspace as You Code in Eclipse

Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
- Polyspace as You Code の解析範囲
Set Baseline Polyspace as You Code Results in Eclipse
Get baseline and focus on new results only, import review information, get integration context information.