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

C4450, C4451, C4452, C4453, C4454, C4462, C4465

C++3011

MISRA.CAST.FLOAT.WIDER
MISRA.CAST.FLOAT.INT
MISRA.CAST.INT_FLOAT
MISRA.CONV.FLOAT

Avoid implicit conversions from wider to narrower floating type
Avoid implicit conversions of floating point numbers from wider to narrower floating type

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).