| Astrée | | potentially-throwing-static-initialization
| Partially checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC++-ERR58 |
|
| Clang | | cert-err58-cpp | Checked by clang-tidy |
| Helix QAC | | C++4634, C++4636, C++4637, C++4639 |
|
| Parasoft C/C++test | | CERT_CPP-ERR58-a
| Exceptions shall be raised only after start-up and before termination of the program |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C++: ERR58-CPP | Checks for exceptions raised during program startup (rule fully covered) |
| PRQA QA-C++ | | Include Page |
|---|
| PRQA QA-C++_V |
|---|
| PRQA QA-C++_V |
|---|
|
| 4634, 4636, 4637, 4639 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| potentially-throwing-static-initialization
| Partially checked |
