...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée | |||||||||||||||
| Include Page | Astrée_V | Astrée_V | 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 |
...