...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported: Astrée keeps track of all floating point rounding errors and loss of precision and reports code defects resulting from those. | |||||||||||
| Coverity |
| MISRA C 2004 Rule 10.x (needs investigation) | Needs investigation | ||||||||||
| Helix QAC |
| ||||||||||||
| LDRA tool suite |
| 435 S | Fully implemented | ||||||||||
| Parasoft C/C++test |
| CERT_C-FLP36-a | Implicit conversions from integral to floating type which may result in a loss of information shall not be used | ||||||||||
| PC-lint Plus |
| 915, 922 | Partially supported | ||||||||||
| Polyspace Bug Finder |
| CERT-C: Rule FLP36-C | Checks for precision loss in integer to float conversion (rule fully covered) | ||||||||||
| PRQA QA-C |
| 1260, 1263, 1298, 1299, 1800, 1802, 1803, 1804, 4117, 4435, 4437, 4445 | |||||||||||
| PRQA QA-C++ |
| 3011 | |||||||||||
| PVS-Studio |
| V674 | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...