...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-INT01 | |||||||
| 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 | ||||||||
| Security Reviewer - Static Reviewer |
| C999 | Fully implemented | ||||||
| Splint |
|
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...