Page History

Compass/ROSE

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

Coverity

MISRA_CAST

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

Fortify SCA

5.0

Can detect violations of this rule with CERT C Rule Pack

Float conversion overflow,

Integer conversion overflow,

Unsigned integer conversion overflow

Overflow when converting between floating point data types

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