...
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 |
| ||||||||||||
| Parasoft C/C++test |
| CERT_C-MEM02-a | Assignment operator should have operands of compatible types | ||||||||||
| PC-lint Plus |
| 908 | Assistance provided: reports implicit conversions from void* to another type | ||||||||||
| Polyspace Bug Finder |
| Checks for wrong allocated object size for cast | |||||||||||
| PRQA QA-C |
| 0695 | Fully implemented | ||||||||||
| RuleChecker |
| alloc-without-cast | Partially checked | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...