...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported: Can be checked with appropriate analysis stubs. | |||||||
| CodeSonar |
| ALLOC.TM | Type mismatch | ||||||
| Coverity |
| ALLOC_FREE_MISMATCH (needs improvement) | Partially implemented; needs improvement | ||||||
| Klocwork |
| FMM.MIGHT FMM.MUST | |||||||
| Parasoft C/C++test |
| CERT_C-WIN30-a | Ensure resources are freed | ||||||
| CERT C: Rule WIN30-C | Checks for mismatched alloc/dealloc functions on Windows (rule fully covered) | |||||||
| PVS-Studio |
| V701 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...