Polyspace as You Code でのビルドの解析

ソースコードビルドの解析および以降の Polyspace as You Code 実行のためのコンパイル情報の収集

Polyspace^® as You Code は、IDE またはコードエディターで現在アクティブなファイルを調べ、バグやコーディング規約違反をチェックします。

解析がエラーなしで実行されるようにするため、Polyspace as You Code に、データ型のサイズやコンパイラマクロ定義などのビルド構成の特性を提供します。ビルド構成情報を提供するには、次のようにします。

IDE プロジェクト、ビルドコマンド、または JSON コンパイルデータベースからビルド構成情報を抽出するように Polyspace as You Code を構成します。
オプションファイルのビルド構成をエミュレートする解析オプションを指定します。Polyspace 解析のオプションファイル (Polyspace Bug Finder)を参照してください。
Polyspace デスクトップ製品プロジェクトファイルから解析オプションをインポートします。

トピック

Generate Build Options for Polyspace as You Code Analysis in Visual Studio
Extract build configuration information from solution, build command, or JSON compilation database.
Visual Studio Code での Polyspace as You Code Analysis のビルドオプションの生成
ビルドタスク、ビルドコマンド、または JSON コンパイルデータベースからビルド構成情報を抽出します。
Generate Build Options for Polyspace as You Code Analysis in Eclipse
Extract build configuration information from project, build command, or JSON compilation database.
Generate Build Options for Polyspace as You Code Analysis at the Command Line
Extract build configuration information from build command or JSON compilation database.