スケーリング

検証のスケーリングの指定

特定のコードの構成要素を詳しく解析するか、または表面的に解析するかを指定するには、スケーリング オプションを使用します。このオプションを使うと、検証時間が大幅に変わる場合があります。

Polyspace オプション

インライン (-inline)関数呼び出しのたびに内部でクローンを作成しなければならない関数を指定
構造体内の検証の深さ (-k-limiting)入れ子構造体の解析の深さの制限

トピック