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

数値チェック

算術演算のチェック

Polyspace® Code Prover™ の数値チェックは、オーバーフローやゼロ除算などのランタイム エラーがないか、算術演算をチェックします。

Polyspace 結果

ゼロ除算ゼロ除算の発生
浮動小数点での無効な演算オペランドが NaN でない浮動小数点演算の結果が NaN になる
無効なシフト演算シフト演算は無効
オーバーフロー算術演算が原因のオーバーフロー
非正規浮動小数点結果が非正規になる浮動小数点演算

トピック