...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Fortify SCA | V. 5.0 |
| Will detect integer operations that cause overflow but not all cases where | ||||||
Splint | |||||||||
| Include Page | Splint_V | Splint_V |
|
| 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 | ||||||
| 93 S | Fully implemented. | |||||||
Splint |
|
|
|
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...
| CERT C++ Secure Coding Standard | INT01-CPP. Use rsize_t or size_t for all integer values representing the size of an object |
| ISO/IEC TR 24731-1:2007 |
Bibliography
...