...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Compass/ROSE |
|
| Can detect violations of this rule. In particular, it flags bitwise operations that involved variables not declared with | ||||||
| optrargs | 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 |
|
|
|
...