...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
---|---|---|---|---|---|
ERR58-CPP | Low | Likely | Low | P9 | L2 |
Automated Detection
Tool | Version | Checker | Description | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| potentially-throwing-static-initialization | Partially checked | ||||||||||
Axivion Bauhaus Suite |
| CertC++-ERR58 | |||||||||||
Clang |
| cert-err58-cpp | Checked by clang-tidy | ||||||||||
CodeSonar |
| LANG.STRUCT.EXCP.THROW | Use of throw | ||||||||||
Helix QAC |
| C++4634, C++4636, C++4637, C++4639 | |||||||||||
Parasoft C/C++test |
| MISRA2008-15_3_1, EXCEPT-18 | CERT_CPP-ERR58-a | Exceptions shall be raised only after start-up and before termination of the program | |||||||||
Polyspace Bug Finder |
| CERT C++: ERR58-CPP | Checks for exceptions raised during program startup (rule fully covered) | ||||||||||
RuleChecker |
| potentially-throwing-static-initialization | Partially checked | PRQA QA-C++ | 4.1 | 4634, 4636, 4637, 4639 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...