...
Using improperly aligned pointers results in undefined behavior, typically leading to abnormal termination.
Rule | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
MEM57-CPP | Medium | Unlikely | No | LowNo | P6 P2 | L2 L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| default-new-overaligned-type | Fully checked | ||||||
| Helix QAC |
| C++3129 | |||||||
| Parasoft C/C++test |
| CERT_CPP-MEM57-a | Avoid using the default operator 'new' for over-aligned types | ||||||
| Polyspace Bug Finder |
| CERT C++: MEM57-CPP | Checks for situations where operator new is not overloaded for possibly overaligned types (rule fully covered) | ||||||
| RuleChecker |
| default-new-overaligned-type | Fully checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...