Die Übersetzung dieser Seite ist veraltet. Klicken Sie hier, um die neueste Version auf Englisch zu sehen.

Numerische Defekte

Defekte aufgrund numerischer Codierungsfehler, Division durch Null, Typkonvertierung, negativer Verschiebeoperationen, mathematische Standardbibliothek

Bei diesen Defekten handelt es sich um Fehler im Zusammenhang mit Variablen in Ihrem Code, ihren Werten, Datentypen und ihrer Verwendung. Zu diesen Defekten gehören:

Mathematische Operationen
Überlauf bei der Konvertierung
Operativer Überlauf

Polyspace-Ergebnisse

alle erweitern

Ganzzahl

`Bitwise operation on negativevalue`	Undefined behavior for bitwise operations on negative values
`Integer constantoverflow`	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 precisionexceeded`	Operation using integer size instead of precision can cause undefined behavior
`Invalid use of standard library integerroutine`	Wrong arguments to standard library function
`Possible invalid operation onboolean operand`	Operation can exceed precision of Boolean operand or result in arbitrary value
`Precision lossfrom integer to float conversion`	Least significant bits of integer lost during conversion to floating-point type
`Right operand of shift operation outsideallowed bounds`	Overflow from shifting operation
`Shift of a negative value`	Shift operator on negative value
`Sign change integer conversionoverflow`	Overflow when converting between signed and unsigned integers
`Unsigned integer conversionoverflow`	Overflow when converting between unsigned integer types
`Unsigned integer overflow`	Overflow from operation between unsigned integers
`Unsigned integerconstant overflow`	Constant value falls outside range of unsigned integer data type
`Use of plain char type for numericalvalue`	Plain `char` variable in arithmetic operation without explicit signedness

Gleitkomma

`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 pointroutine`	Wrong arguments to standard library function

Themen

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