Tool | Version | Checker | Description |
|---|
| Astrée | | exception-caught-by-earlier-handler
| Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC++-ERR54 |
|
| Clang | | -Wexceptions |
|
| CodeSonar | | LANG.STRUCT.UCTCH | Unreachable Catch |
ECLAIR | | CP1.ERR36
| Fully implemented |
| Helix QAC | | C++4030, C++4639 |
|
| Klocwork | | MISRA.CATCH.NOALL
MISRA.CATCH.WRONGORD |
|
| LDRA tool suite | | 541 S, 556 S
| Fully implemented |
| Parasoft C/C++test | | CERT_CPP-ERR54-a
| Where multiple handlers are provided in a single try-catch statement or function-try-block for a derived class and some or all of its bases, the handlers shall be ordered most-derived to base class |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C++: ERR54-CPP | Checks for: - Exception handlers not ordered from most-derived to base class
- Incorrect order of ellipsis handler
Rule fully covered. |
| PRQA QA-C++PVS-Studio | | PRQA QA-C++ | PRQA QA-C++ | 4030, 4639 | PVS-StudioV759 |
|
| RuleChecker | | PVS-Studio | PVS-Studio | V759exception-caught-by-earlier-handler
| Fully checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S1045 |
|
