...
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 |
...