...
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++ | | Include Page | | PRQA QA-C++_V | 4031 | ||||||
| PVS-Studio |
| V746, V816 | ||||||||||||
| RuleChecker |
| catch-class-by-value | Fully checked | |||||||||||
| SonarQube C/C++ Plugin |
| S1044 |
...