...
Tool | Version | Checker | Description | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||||||||||||
| Axivion Bauhaus Suite |
| CertC-MEM36 | Fully implemented | ||||||||||||||||
| CodeSonar |
| BADFUNC.REALLOC | Use of realloc | ||||||||||||||||
| 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) | PRQA QA-C | ||||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 5027 | PRQA QA-C++ | |||||||||||||||
| Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | 5034 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...