...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| ECLAIR |
| CC2.FLP00 | Fully implemented | ||||||
| Helix QAC |
| C0275, C0581, C1490, C3339, | |||||||
| Parasoft C/C++test |
| CERT_C-FLP00-a | Floating-point expressions shall not be tested for equality or inequality | ||||||
| PC-lint Plus |
| 777, 9252 | Partially supported | ||||||
| CERT C: Rec. FLP00-C | Checks for absorption of float operand (rec. partially covered) |
...