...
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 |
| CERT C++: ERR56-CPP | Checks for exceptions violating class invariant (rule fully covered). | PRQA QA-C++ | |||||||||
| Include Page | PRQA QA-C++_V | PRQA QA-C++_V | |||||||||||
| PVS-Studio |
| V565, V1023, V5002 |
...