Défauts numériques

Défauts concernant les erreurs de codage numérique, les divisions par zéro, la conversion de type et les opérations de décalage négatif, bibliothèque de fonctions mathématiques standard

Ces défauts sont des erreurs liées aux variables de votre code, à leurs valeurs, à leurs types de données et à leur utilisation. Ces défauts incluent :

Opérations mathématiques
Dépassement de conversion
Dépassement opérationnel

Résultats Polyspace

développer tout

Nombre entier

`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

Virgule flottante

`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

Rubriques

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