...
Tool | Version | Checker | Description | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| alloc-without-cast | Partially checked | ||||||||||||
Axivion Bauhaus Suite |
| CertC-MEM02 | Fully implemented | ||||||||||||
Compass/ROSE | Can detect some violations of this recommendation when checking EXP36-C. Do not cast pointers into more strictly aligned pointer types | ||||||||||||||
ECLAIR |
| CC2.MEM02 | Fully implemented | ||||||||||||
Helix QAC |
| C0695 | |||||||||||||
Parasoft C/C++test |
| CERT_C-MEM02-a | The result of the memory allocation function should be cast immediately | ||||||||||||
PC-lint Plus |
| 908 | Assistance provided: reports implicit conversions from void* to another type | ||||||||||||
Polyspace Bug Finder |
| Checks for wrong Wrong allocated object size for cast | Allocated memory does not match destination pointer
| PRQA QA-C | |||||||||||
Include Page | PRQA QA-C_v | PRQA QA-C_v | (rule fully covered) | ||||||||||||
RuleChecker |
| alloc-without-cast | Partially checked | 0695 | Fully implemented |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...