...
Tool | Version | Checker | Description | |||||||||||||||
| Astrée |
| Supported indirectly via MISRA C:2004 Rule 13.2. | ||||||||||||||||
| Axivion Bauhaus Suite |
| CertC-EXP20 | Fully implemented | |||||||||||||||
| Helix QAC |
| C3344, C4116 | ||||||||||||||||
| LDRA tool suite |
| 114 S | Partially implemented | |||||||||||||||
| Parasoft C/C++test |
| CERT_C-EXP20-a | Avoid comparing values with TRUE macro/enum constant using equality operators ("==", "!=") | |||||||||||||||
| PC-lint Plus |
| 697 | Partially supported: reports comparisons of Boolean values to constants other than 0 | PRQA QA-C | ||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 3344 | Helix QAC | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Include Page | Helix QAC_V | Helix QAC_V
Bibliography
| [StackOvflw 2009] | "Should I Return TRUE/FALSE Values from a C Function?" |
...