La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Defectos numéricos

Defectos relacionados con errores de codificación numéricos, como divisiones por cero, conversiones de tipo y operaciones con desplazamientos negativos, y el uso incorrecto de funciones de la biblioteca estándar matemática

Estos defectos son errores relacionados con variables del código: valores, tipos de datos y uso. Entre estos defectos se incluyen:

Operaciones matemáticas
Desbordamiento por conversión
Desbordamiento operativo

Resultados de Polyspace

expandir todo

Valor entero

`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

Punto flotante

`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

Temas

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