...
Failing to understand the limitations of floating-point numbers can result in unexpected computational results and exceptional conditions, possibly resulting in a violation of data integrity.
Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
FLP00-C | Medium | Probable | High | P4 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| ECLAIR |
| CC2.FLP00 | Fully implemented | ||||||
| Parasoft C/C++test |
|
|
| MISRA2004-13_3 | Fully implemented | |||
| R2016b | Absorption of float operand | One addition or subtraction operand is absorbed by the other operand |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this recommendation on the CERT website.
Related Guidelines
Bibliography
| [Gough 2005] | Section 8.6, "Floating-Point Issues" |
| [Hatton 1995] | Section 2.7.3, "Floating-Point Misbehavior" |
| [IEEE 754 2006] |
| [Lockheed Martin 2005] | AV Rule 202, Floating-point variables shall not be tested for exact equality or inequality |
...
...