...
| Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | ||||||||
| CodeSonar |
| ALLOC.LEAK | Leak | |||||||
| Coverity |
| ALLOC_FREE_MISMATCH | Partially implemented, correct implementation is more involved | |||||||
| Cppcheck Premium |
| premium-cert-con30-c | Partially implemented | |||||||
| Helix QAC |
| C1780, C1781, C1782, C1783, C1784 | ||||||||
| Parasoft C/C++test |
| CERT_C-CON30-a | Ensure resources are freed | |||||||
| CERT C: Rule CON30-C | Checks for thread-specific memory leak (rule fully covered) |
...