| Astrée | | catch-class-by-value
| Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC++-ERR61 |
|
Clang | | cert-err61-cpp
| Checked by clang-tidy; also checks for VOID ERR09-CPP. Throw anonymous temporaries by default |
| Helix QAC | | C++4031 |
|
| LDRA tool suite | | 455 S
| Fully implemented |
| Parasoft C/C++test | | CERT_CPP-ERR61-a
CERT_CPP-ERR61-b | A class type exception shall always be caught by reference
Throw by value, catch by reference |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| 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 |
|---|
| PRQA QA-C++_V |
|---|
|
| 4031 |
|
| PVS-Studio | | V746, V816
|
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| catch-class-by-value
| Fully checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S1044 |
|
