...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.TYPE.IOT | Inappropriate operand type | ||||||
|
| Can detect violations of this rule. In particular, it flags bitwise operations that involved variables not declared with | |||||||
| CC2.INT13 | Fully implemented | |||||||
5.0 |
| Can detect violations of this recommendation with the CERT C Rule Pack | |||||||
| 50 S | Fully implemented | |||||||
| Parasoft C/C++test | 9.5 | MISRA2008-5_0_21 | Fully implemented | ||||||
| PRQA QA-C |
| 4532, 4533, 4534, 4543, 4544 | Fully implemented | ||||||
|
|
|
...