...
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 | Always catch exceptions Do not leave 'catch' blocks empty | ||||||||
| Polyspace Bug Finder |
| PRQA QA-C++
| PRQA QA-CERT C++ | _V4075, 4076: ERR56-CPP | Checks for exceptions violating class invariant (rule fully covered). | ||||||
| PVS-Studio |
| V565, V1023, V5002 |
...