このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。
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 デスクトップ製品プロジェクト ファイルから解析オプションをインポートします。
トピック
- Visual Studio Code での Polyspace as You Code Analysis のビルド オプションの生成 (Polyspace Access)
ビルド タスク、ビルド コマンド、または JSON コンパイル データベースからビルド構成情報を抽出します。
