...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.TYPE.IOT | Inappropriate operand type | ||||||
| Compass/ROSE |
|
| Can detect violations of this rule. In particular, it flags bitwise operations that involved variables not declared with | ||||||
| CC2.INT13 | Fully implemented | |||||||
| Klocwork |
| MISRA.BITS.NOT_UNSIGNED MISRA.BITS.NOT_UNSIGNED.PREP | |||||||
| LDRA tool suite |
| 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 | ||||||
| Splint |
|
|
|
...