Numerical Defects

Defects for numerical coding errors, division by zero, type conversion, and negative shift operations, math standard library

These defects are errors relating to variables in your code; their values, data types, and usage. The defects include:

Mathematical operations
Conversion overflow
Operational overflow

Polyspace Results

Integer

`Bitwise operation on negative value`	Undefined behavior for bitwise operations on negative values
`Integer constant overflow`	Constant value falls outside range of integer data type
`Integer conversion overflow`	Overflow when converting between integer types
`Integer division by zero`	Dividing integer number by zero
`Integer overflow`	Overflow from operation between integers
`Integer precision exceeded`	Operation using integer size instead of precision can cause undefined behavior
`Invalid use of standard library integer routine`	Wrong arguments to standard library function
`Possible invalid operation on boolean operand`	Operation can exceed precision of Boolean operand or result in arbitrary value
`Precision loss from integer to float conversion`	Least significant bits of integer lost during conversion to floating-point type
`Right operand of shift operation outside allowed bounds`	Overflow from shifting operation
`Shift of a negative value`	Shift operator on negative value
`Sign change integer conversion overflow`	Overflow when converting between signed and unsigned integers
`Unsigned integer conversion overflow`	Overflow when converting between unsigned integer types
`Unsigned integer overflow`	Overflow from operation between unsigned integers
`Unsigned integer constant overflow`	Constant value falls outside range of unsigned integer data type
`Use of plain char type for numerical value`	Plain `char` variable in arithmetic operation without explicit signedness

Floating Point

`Absorption of float operand`	One addition or subtraction operand is absorbed by the other operand
`Float conversion overflow`	Overflow when converting between floating point data types
`Float division by zero`	Dividing floating point number by zero
`Float overflow`	Overflow from operation between floating points
`Invalid use of standard library floating point routine`	Wrong arguments to standard library function

Topics

Bug Finder Defect Groups
The Bug Finder defect checkers are classified into groups such as data flow, concurrency, numerical, and so on.