...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||||||||
| CodeSonar |
| ALLOC.SIZE.MULOFLOW | Multiplication overflow of allocation size | ||||||||||||
| Compass/ROSE | |||||||||||||||
| Parasoft C/C++test |
| CERT_C-MEM07-a | The validity of values passed to library functions shall be checked | Polyspace Bug Finder | |||||||||||
| Include Page | Polyspace Bug Finder_V | Polyspace Bug Finder_V | Memory allocation with tainted size | Size argument to memory function is from an unsecure source |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...