Bug Finder 解析の前提条件の変更

既定の Polyspace®Bug Finder™ 解析の前提条件を変更する

このカテゴリのオプションを使用して、解析の前提条件を変更します。以下に例を示します。

  • 解析の信頼境界を変更する。

  • システムのすべての入力値を考慮するかどうかを変更する。

  • アトミック データ レースを検出するかどうかを指定する。

Polyspace オプション

すべて展開する

-detect-atomic-data-raceアトミック操作でのデータ レース検出の有効化
-detect-bad-float-op-on-zeroDetect floating point comparison with equality operator when one of the operand is 0.0
-code-behavior-specificationsコードの要素 (関数など) への動作の関連付け
非有限の浮動小数点を検討 (-allow-non-finite-floats)無限大と NaN を組み込んだ解析モードの有効化
システムのすべての入力値を考慮する、さらに厳密なチェックを実行 (-checks-using-system-input-values)さらに厳格なチェックを有効にし、欠陥の検出につながる値の例を提供する
次の関数の入力を考慮する (-system-inputs-from)解析が考えられるすべての入力値を考慮する関数を指定する
-consider-analysis-perimeter-as-trust-boundary解析境界を信頼境界と見なすことによって、現在の解析境界の外部から来たデータは汚染されたと見なす

トピック

Bug Finder チェッカーの既定の動作の変更