...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE | |||||||||
| Coverity | 7.5 | CHECKED_RETURN | Finds inconsistencies in how function call return values are handled | ||||||
| Helix QAC |
| ||||||||
| Klocwork |
| NPD.CHECK.CALL.MIGHT NPD.CONST.CALL NPD.GEN.CALL.MIGHT | |||||||
| LDRA tool suite |
| 45 D | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_CPP-MEM52-a | Check the return value of new | ||||||
| Parasoft Insure++ | Runtime detection | ||||||||
| Polyspace Bug Finder |
| CERT C++: MEM52-CPP | Checks for unprotected dynamic memory allocation (rule partially covered) | ||||||
| PRQA QA-C++ |
| 3225, 3226, 3227, 3228, 3229, 4632 | |||||||
| PVS-Studio |
| V522 |
...