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

735, 736, 915,
922, 9118,9227

Partially supported

CERT C: Rule FLP34-C

Checks for float conversion overflow (rule partially covered)

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

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