
...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| bitop-type | Fully checked | ||||||
Axivion Bauhaus Suite |
| CertC-INT13 | |||||||
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 | |||||||
Helix QAC |
| C4532, C4533, C4534, C4543, C4544 | |||||||
Klocwork |
| MISRA.BITS.NOT_UNSIGNED MISRA.BITS.NOT_UNSIGNED.PREP | |||||||
LDRA tool suite |
| 50 S | Fully implemented | ||||||
Parasoft C/C++test |
| CERT_C-INT13-a CERT_C-INT13-b | Operands of bitwise and complement operators shall have an unsigned type Operands of shift operators shall have an unsigned Bitwise operators shall only be applied to operands of unsigned underlying type | ||||||
PC-lint Plus |
| 9233 | Partially supported: reports use of a bitwise operator on an expression with a signed MISRA C 2004 underlying type | ||||||
| Checks for bitwise operation on negative value (rec. fully covered) | ||||||||
RuleChecker |
| bitop-type | Fully checked | ||||||
SonarQube C/C++ Plugin |
| ||||||||
Splint |
|
...