...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | ||||||||
| CodeSonar |
| ALLOC.SIZE.MULOFLOW | Multiplication overflow of allocation size | |||||||
| Compass/ROSEPolyspace Bug Finder | ||||||||||
| Parasoft C/C++test |
| Memory allocation with tainted size | CERT_C-MEM07-a | The validity of values passed to library functions shall be checkedSize 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.
...