...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| ALLOC.LEAK | Leak | ||||||||||||
| Helix QAC |
| C++4075, C++4076 | |||||||||||||
| LDRA tool suite |
| 527 S, 56 D, 71 D | Partially implemented | ||||||||||||
| Parasoft C/C++test |
| CERT_CPP-ERR56-a | Ensure resources are freed | PRQA QA-C++ | |||||||||||
| Include Page | PRQA QA-C++_V | PRQA QA-C++_V |
| Always catch exceptions Do not leave 'catch' blocks empty | |||||||||||
| Polyspace Bug Finder |
| CERT C++: ERR56-CPP | Checks for exceptions violating class invariant (rule fully covered). | 4075, 4076||||||||||||
| PVS-Studio |
| V565, V1023, V5002 |
...