...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Compass/ROSE |
|
| Can detect violations of this recommendation. In particular, it flags any instance of a variable of type | ||||||
| idb_charplanCC2.INT07 | Fully implemented | |||||||
Fortify SCA | 5.0 |
| Can detect violations of this recommendation with the CERT C Rule Pack | ||||||
| 93 S | Fully implemented | |||||||
Splint |
|
|
| ||||||
| PRQA QA-C |
| 3711 | Partially implemented |
...