...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Compass/ROSE |
|
| Can detect violations of this rule. In particular, it flags bitwise operations that involved variables not declared with | ||||||
| optrargsCC2.INT13 | Fully implemented | |||||||
Fortify SCA | 5.0 |
| Can detect violations of this recommendation with the CERT C Rule Pack | ||||||
| 50 S | Fully implemented | |||||||
| PRQA QA-C |
| 0502 | Fully implemented | ||||||
Splint |
|
|
|
...