...
Tool | Version | Checker | Description | |||||||
| Astrée |
| Supported, but no explicit checker | ||||||||
| LDRA tool suite |
| 114 S | Partially implemented | |||||||
| Parasoft C/C++test |
| CODSTA-60 | CERT_C-EXP20-a | Avoid comparing values with TRUE macro/enum constant using equality operators ("==", "!=") Partially implemented | ||||||
| PRQA QA-C |
| 3344 |
...