...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.TYPE.BASIC | Basic numerical type used | ||||||
| Compass/ROSE |
|
| Can detect violations of this recommendation. In particular, it catches comparisons and operations where one operand is of type | ||||||
| Fortify SCA | 5.0 |
| Will detect integer operations that cause overflow but not all cases where | ||||||
| Splint |
|
|
|
...