Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: added automated detection text; fixed one bib reference.

...

Guideline

Severity

Likelihood

Remediation Cost

Priority

Level

FLP04-J

low

unlikely

high

P1

L3

Automated Detection

TODOSound automated detection of violations of this guideline are not feasible in the general case.

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this guideline on the CERT website.

...

Wiki Markup
\[[Darwin 2004|AA. Bibliography#Darwin 04]\] Ensuring the Accuracy of Floating-Point Numbers
\[[JLS 2005|AA. Bibliography#JLS 05]\] [Section 15.4|http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.4], "FP-strict Expressions"
\[[JPL 20052006|AA. Bibliography#JPL 0506]\] 9.1.3. Strict and Non-Strict Floating-Point Arithmetic
\[[McCluskey 2001|AA. Bibliography#McCluskey 01]\] Making Deep Copies of Objects, Using strictfp, and Optimizing String Performance

...