...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
MEM02-C | Low | Unlikely | Yes | YesLow | P3 | L3 |
Automated Detection
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 | 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 | ||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0695 | Fully implemented cast (rule fully covered) | |||||||||||
| RuleChecker |
| alloc-without-cast | Partially checked |
...