...
Tool | Version | Checker | Description | ||||||||||
| Astrée |
| Supported indirectly via MISRA C:2004 Rule 13.2. | |||||||||||
| Axivion Bauhaus Suite |
| CertC-EXP20 | Fully implemented | ||||||||||
| Helix QAC |
| ||||||||||||
| 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 |
| 3344 | Helix QAC | ||||||||||
| Include Page | Helix QAC_V | Helix QAC_V
|---|
Bibliography
| [StackOvflw 2009] | "Should I Return TRUE/FALSE Values from a C Function?" |
...