Page History

Supported

Astrée reports all potential overflows resulting from floating-point conversions.

Can detect some violations of this rule. However, it does not flag implicit casts, only explicit ones

Coverity

MISRA_CAST (needs verification)

Can detect instances where implicit float conversion is involved: implicitly converting a complex expression with integer type to floating type, implicitly converting a double expression to narrower float type (may lose precision), implicitly converting a complex expression from float to double, implicitly converting from float to double in a function argument, and so on

Avoid implicit conversions from wider to narrower types

Float conversion overflow

Integer conversion overflow

Unsigned integer conversion overflow

CERT C: Rule FLP34-C

Checks for float conversion overflow (rule partially covered)

Overflow when converting between floating point data types

Overflow when converting between integer types

Overflow when converting between unsigned integer types

4450, 4451,
4452, 4453,
4454, 4462, 4465

Exhaustively verified (see one compliant and one non-compliant example).