...
Tool | Version | Checker | Description | ||||||
| Astrée |
| Supported, but no explicit checker | |||||||
| Axivion Bauhaus Suite |
| CertC-EXP20 | Fully implemented | ||||||
| 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 ("==", "!=") | ||||||
| PRQA QA-C |
| 3344 |
...