...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||||||
| Axivion Bauhaus Suite |
| CertC-MEM36 | Fully implemented | ||||||||||
| Helix QAC |
| ||||||||||||
| 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 |
| 5027 | |||||||||||
| PRQA QA-C++ |
| 5034 | 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.
...