...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 442 S | Fully implemented. | |||||||
Splint |
|
|
| ||||||
Compass/ROSE |
|
| Can detect violations of this rule. Any assignment operation where the type of the assigned-to value is | ||||||
| PRQA QA·C |
| Partially implemented |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...
MITRE CWE: CWE-682, "Incorrect calculation"
Bibliography
[Hatton 1995] Section 2.7.3, "Floating-point misbehavior"
...