...
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 |
|---|
Bibliography
| [StackOvflw 2009] | "Should I Return TRUE/FALSE Values from a C Function?" |
...