mathworks.com
Polyspace Results in Polyspace Bug Finder
Review Analysis Results
Polyspace Bug Finder Results
Defects
Numerical Defects
Absorption of float operand
One addition or subtraction operand is absorbed by the other
operand
Bitwise operation on
negative value
Undefined behavior for bitwise operations on negative values
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
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
Invalid use of standard
library floating point
routine
Wrong arguments to standard library function
Invalid use of standard
library integer routine
Wrong arguments to standard library function
Shift of a negative value
Shift operator on negative value
Shift operation overflow
Overflow from shifting operation
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
Use of plain char type for
numerical value
Plain char variable in arithmetic operation without explicit
signedness
剩余18页未读，继续阅读
评论1