チェックの構成

さまざまな Polyspace® チェックの動作を指定する

既定で、Polyspace Code Prover™ はコード内の実行時チェックの有無を検証します。追加のチェックを実行し、コードに関する Polyspace の仮定を変更するように、解析を構成します。以下に例を示します。

  • 初期化オプションを使用して、グローバル変数の初期化の検証を構成します。

  • マルチタスキング オプションを使用して、同時実行タスクおよびスレッドによるグローバル変数への共有アクセスの検証を構成します。

  • コードに関する Polyspace の仮定を変更し、さまざまなランタイム エラーに対する Polyspace によるチェック方法を変更します。

カテゴリ