...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.TYPE.IOT | Inappropriate operand type | ||||||
| CONSTANT_EXPRESSION_RESULT | Can detect the specific instance where bitwise operator is used in place of logical operator, or vice versa. The behavior might be desirable in some situations, so further verification is necessary | |||||||
| LDRA tool suite |
| 136 S | Fully Implemented | ||||||
| Parasoft C/C++test | 9.5 | MISRA2004-12_6_{a,b} | Fully implemented | ||||||
| PRQA QA-C |
| 3344,4502 | |||||||
| Cppcheck |
| cert.py | Detected by the addon cert.py |
...