...
Compass/ROSE can detect some violations of this rule. However, it does not flag implicit casts, only explicit ones.
The Coverity Prevent Version 5.0 MISRA_CAST checker can detect instances where implicit float conversion is involved; e.g. implicitly converting complex expression with integer type to floating type, implicitly converting a double expression to narrower float type may lose precision, implicitly converting complex expression from float to double, implicit conversion from float to double in a function argument etc.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...