...
The LDRA tool suite V 7.6.0 is able to detect violations of this rule.
The tool Compass/ROSE could easily detect violations of this rule. Any assignment operation where the type of the assigned-to value is float or double, but all the expressions to the right of the assignment are integral is a violation of this rule.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...