...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
MEM36-C | Low | Probable | No | NoHigh | P2 | L3 |
Automated Detection
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | ||||||||
| Axivion Bauhaus Suite |
| CertC-MEM36 | Fully implemented | |||||||
| CodeSonar |
| BADFUNC.REALLOC | Use of realloc | |||||||
| Cppcheck Premium |
| premium-cert-mem36-c | Fully implemented | |||||||
| Helix QAC |
| C5027 C++5034 | ||||||||
| Klocwork |
| AUTOSAR.STDLIB.MEMORY | ||||||||
| LDRA tool suite |
| 44 S | Enhanced enforcement | |||||||
| Parasoft C/C++test |
| CERT_C-MEM36-a | Do not modify the alignment of objects by calling realloc() | |||||||
| CERT C: Rule MEM36-C | Checks for alignment change after memory allocation (rule fully covered) |
...
Bibliography
| [ISO/IEC 9899:20112024] | 7.2224.3.1, "The The aligned_alloc Function" |
| [MSDN] | aligned_malloc() |
...