...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Codee | |||||||||||||||
| Include Page | Codee_V | Codee_V | PWR071 | Prefer real(kind=kind_value) for declaring consistent floating types | CodeSonar |
| LANG.ARITH.FMULOFLOW LANG.ARITH.FPEQUAL | Float multiplication overflow Floating point equality | |||||||
| 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) |
...