解析精度の向上

コードに関する追加情報を指定して解析結果の精度を高める

Polyspace® Bug Finder™ での誤検知または検知漏れの結果を削減するには、次のようにします。

  • コードの動作の指定 — コードの動作に関する追加情報を提供します。変数の範囲を制限し、コードの各部分に関する追加情報を提供します。たとえば、一部のコード ブロックをアセンブリ コードとして指定し、関数をリアルタイム関数として指定します。コードの動作に関する追加情報を提供することで、Polyspace の結果の精度が高まります。

  • Bug Finder の前提条件の変更 — 既定の Bug Finder 解析の前提条件を変更します。解析の前提条件を変更することで、より正確に自分のユースケースに合った解析になるように調整できます。

カテゴリ