La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

Difetti numerici

Difetti relativi a errori di codifica numerica, divisione per zero, conversione di tipo, operazioni di spostamento negativo, libreria matematica standard

Questi difetti sono errori relativi alle variabili nel codice, ai loro valori, tipi di dati e utilizzo. I difetti includono:

Operazioni matematiche
Overflow di conversione
Overflow operativo

Risultati di Polyspace

espandi tutto

Intero

`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

Virgola mobile

`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

Argomenti

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