...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| CodeSonar |
| ALLOC.TM | Type mismatch | ||||||
| Coverity |
| ALLOC_FREE_MISMATCH (needs improvement) | Partially implemented; needs improvement | ||||||
| Klocwork |
| FMM.MIGHT FMM.MUST | |||||||
| Parasoft C/C++test | 9.5 | BD-RES-LEAKS |
...