| Astrée | | exception-handler-member-access
| Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC++-ERR53 |
|
| Clang | | -Wexceptions |
|
| Helix QAC | | C++3510 |
|
| Klocwork | | MISRA.CTOR.TRY.NON_STATIC |
|
| LDRA tool suite | | 549 S
| Partially implemented |
| Parasoft C/C++test | | CERT_CPP-ERR53-a
| Handlers of a function-try-block implementation of a class constructor or destructor shall not reference nonstatic members from this class or its bases |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C++: ERR53-CPP | Checks for constructor or destructor function-try-block handler referencing base class or class data member (rule fully covered) |
| PRQA QA-C++ | | Include Page |
|---|
| PRQA QA-C++_V |
|---|
| PRQA QA-C++_V |
|---|
|
| 3510 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| exception-handler-member-access
| Fully checked |
