このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

仕様

Code Prover でチェックできる外部仕様の説明と例

Polyspace® Code Prover™ 解析によって、特定の外部仕様に違反していないかどうかをチェックすることができます。たとえば、コード内の特定の変数が互いに影響しないように指定し、この指定に違反しているかどうかを Code Prover で判定することができます。

Polyspace 結果

予測される影響An object (source) is expected to have an impact on another object (sink)
予測される影響なしAn object (source) is expected to have no impact on another object (sink)

トピック