...
Automated Detection
Compass/ROSE could can detect violations of this rule simply by reporting any comparisons on floating point numbers. (Comparing two floating-point numbers should be done with more sophisticated code than a simple == or <=.)recommendation. In particular, it checks to see if the arguments to an equality operator are of a floating point type.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...