...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| malloc-size-insufficient | Partially checkedSupported, but no explicit checker | ||||||
CodeSonar |
| ALLOC.SIZE.ADDOFLOW | Addition overflow of allocation size | ||||||
Compass/ROSE | Could check violations of this rule by examining the size expression to
| ||||||||
| BAD_ALLOC_STRLEN SIZECHECK (deprecated) | Partially implemented Can find instances where string length is miscalculated (length calculated may be one less than intended) for memory allocation purposes. Coverity Prevent cannot discover all violations of this rule, so further verification is necessary Finds memory allocations that are assigned to a pointer that reference objects larger than the allocated block | |||||||
Klocwork |
| ||||||||
LDRA tool suite |
| 400 S, 487 S, 115 D | Enhanced enforcement | ||||||
Splint | 3.1.1 | ||||||||
Parasoft C/C++test |
| CERT_C-MEM35-a | Do not use sizeof operator on pointer type to specify the size of the memory to be allocated via 'malloc', 'calloc' or 'realloc' function | ||||||
Polyspace Bug Finder |
| Size argument to memory function is from an unsecure source Pointer dereferenced outside its bounds s | |||||||
PRQA QA-C |
| 0696, 0701, 1069, 1071, 1073 | |||||||
PRQA QA-C++ | 4.2 | 2840, 2841, 2842, 2843, 2844 | |||||||
PVS-Studio |
| V531, V635, V641, V781 | |||||||
RuleChecker |
| malloc-size-insufficient | Partially checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...