構成

ビルドをエミュレートし、解析上の制約を指定し、Code Prover から最適な結果を得るために必要な追加情報を提供する

ソフトウェア開発ワークフローに Polyspace® Code Prover™ を効果的に組み込むには、最適な結果が得られるように適切な解析オプションを設定します。特に以下に注意してください。

  • ビルド システムを使用して Polyspace プロジェクトまたはオプション ファイルを作成するか、またはコンパイラ オプション、データ型のサイズ、および静的解析に関連するその他のビルド関連オプションを明示的に指定して、ソース コードのビルドをエミュレートします。

  • 入力やグローバル変数に対する外的制約を指定するか、グローバル解析の仮定を指定することにより、解析対象のコード パスを制限します。

  • コードベース内の既存のコンポーネントごとに、対応する解析モジュール (プロジェクトまたはオプション ファイル) を個別に作成します。

  • マルチタスキングやグローバル変数の初期化などの特別な解析に必要な追加情報を定義します。

Polyspace Platform プロジェクト、コマンド ライン フラグ、またはオプション ファイルを使用して、Code Prover を構成できます。詳細については、以下を参照してください。

カテゴリ