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

数値的欠陥

数値コーディング エラーに関する欠陥、ゼロ除算、型変換、負のシフト演算、数学標準ライブラリ

これらの欠陥は、コード内の変数に関係するエラー (変数の値、データ型、使用法) です。欠陥には次のものがあります。

  • 数学的演算

  • 変換のオーバーフロー

  • 演算のオーバーフロー

Polyspace 結果

すべて展開する

負値でのビット演算です負値でのビット演算による未定義の動作
整数定数のオーバーフロー整数データ型の範囲外にある定数
整数変換のオーバーフロー整数型間の変換時のオーバーフロー
整数のゼロ除算整数値のゼロによる除算
整数のオーバーフロー整数間の演算のオーバーフロー
整数の精度を超過しました 精度の代わりに整数サイズを使用する操作により発生する可能性のある未定義の動作
標準ライブラリ整数ルーチンの無効な使用標準ライブラリ関数の間違った引数
boolean 型オペランドの演算が無効な可能性がありますboolean 型オペランドの精度を超過するか、任意の値になる可能性がある演算
整数から浮動小数点への変換による桁落ち浮動小数点型への変換中に失われる整数の最下位ビット
シフト演算の右オペランドが許容範囲外シフト演算によるオーバーフロー
負の値のシフト負の値に対するシフト演算子
符号変化する整数の変換のオーバーフロー符号なしの整数と符号付き整数間での変換時のオーバーフロー
符号なし整数の変換のオーバーフロー符号なしの整数型間の変換時におけるオーバーフロー
符号なし整数のオーバーフロー符号なしの整数間の演算によるオーバーフロー
符号なし整数定数のオーバーフロー符号なし整数データ型の範囲外にある定数
数値にプレーンの char 型が使用されています符号属性を明示的に指定していない算術演算でのプレーンの char 変数
浮動小数点オペランドの統合他方のオペランドに吸収される加算または減算オペランド
浮動小数点変換のオーバーフロー浮動小数点データ型間の変換時のオーバーフロー
浮動小数点数のゼロ除算浮動小数点数のゼロでの除算
浮動小数点のオーバーフロー浮動小数点間の演算によるオーバーフロー
標準ライブラリの浮動小数点ルーチンの無効な使用標準ライブラリ関数の間違った引数

トピック

  • Bug Finder 欠陥グループ

    Bug Finder の欠陥チェッカーは、データ フロー、同時実行、数値などのグループに分類されています。