
...
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) |
...