...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| malloc-size-insufficient | Partially checked Besides direct rule violations, all undefined behaviour resulting from invalid memory accesses is reported by Astrée. | ||||||
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 |
| Checks for:Memory allocation with tainted size
Size argument to memory function is from an unsecure source Pointer dereferenced outside its bounds
Rule fully covered.s | |||||||
PRQA QA-C |
| 0696, 0701, 1069, 1071, 1073 | |||||||
PRQA QA-C++ |
| 2840, 2841, 2842, 2843, 2844, 2935, 2936, 2937, 2938, 2939 | |||||||
PVS-Studio |
| V531, V635, V641, V781 | |||||||
RuleChecker |
| malloc-size-insufficient | Partially checked | ||||||
TrustInSoft Analyzer |
| mem_access | Exhaustively detects undefined behavior (see one compliant and one non-compliant example). |
...