...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| catch-class-by-value | Fully checked | ||||||
| Axivion Bauhaus Suite |
| CertC++-ERR61 | |||||||
|
| Checked by clang-tidy; also checks for VOID ERR09-CPP. Throw anonymous temporaries by default | |||||||
| CodeSonar |
| LANG.STRUCT.EXCP.CATCH LANG.STRUCT.EXCP.THROW | Use of catch Use of throw | ||||||
| Helix QAC |
| C++4031 | |||||||
| Klocwork |
| MISRA.CATCH.BY_VALUE | |||||||
| LDRA tool suite |
| 455 S | Fully implemented | ||||||
| Parasoft C/C++test |
| CERT_CPP-ERR61-a | A class type exception shall always be caught by reference | ||||||
| Polyspace Bug Finder |
| CERT C++: ERR61-CPP | Checks for exception object initialized by copy in catch statement (rule fully covered) | ||||||
| PRQA QA-C++ |
| 4031 | |||||||
| PVS-Studio |
| V746, V816 | |||||||
| RuleChecker |
| catch-class-by-value | Fully checked | ||||||
| SonarQube C/C++ Plugin |
| S1044 |
...