...
Tool | Version | Checker | Description | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE | ||||||||||||||
| Coverity | 7.5 | CHECKED_RETURN | Finds inconsistencies in how function call return values are handled | |||||||||||
| Helix QAC |
| C++3225, C++3226, C++3227, C++3228, C++3229, C++4632 | ||||||||||||
| Klocwork |
| NPD.CHECK.CALL.MIGHT NPD.CHECK.CALL.MUST NPD.CHECK.MIGHT NPD.CHECK.MUST NPD.CONST.CALL NPD.CONST.DEREF NPD.FUNC.CALL.MIGHT NPD.FUNC.CALL.MUST NPD.FUNC.MIGHT NPD.FUNC.MUST NPD.GEN.CALL.MIGHT NPD.GEN.CALL.MUST NPD.GEN.MIGHT NPD.GEN.MUST RNPD.CALL RNPD.DEREF | ||||||||||||
| 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++ | ||||||||||||||
| Include Page | PRQA QA-C++_V | PRQA QA-C++_V | 3225, 3226, 3227, 3228, 3229, 4632 | PVS-Studio |
| V522, V668 |
...