...
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 |
...