...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| (customization) | Users can add a custom check for violations of this constraint. | ||||||
| Compass/ROSE |
|
| Can detect common violations of this rule. However, it cannot handle cases in which the value returned by | ||||||
| Fortify SCA | 5.0 |
| Can detect violations of this rule with CERT C Rule Pack | ||||||
| LDRA tool suite |
| 82 D | Fully implemented |
...