...
Automated detection of floating point comparison operators is straightforward. Sound determination of whether the possibility of an unordered result has been correctly handled is not feasible in the general case. Heuristic checks may be useful.
Findbugs checks for the specific case of comparison with a constant NaN.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this guideline on the CERT website.
...