...
You may call std::exit()
only in a function program that has not yet initialized any objects with automatic storage duration.
...
Tool | Version | Checker | Description |
---|
Astrée | | stdlib-use
| Partially checked |
CodeSonar | | BADFUNC.ABORT BADFUNC.EXIT | Use of abort Use of exit |
Helix QAC | | C++5014 |
|
Klocwork | | MISRA.CATCH.ALLTERMINATE CERT.ERR.ABRUPT_TERM |
|
LDRA tool suite | | 122 S
| Enhanced Enforcement |
Parasoft C/C++test | | CERT_CPP-ERR50-a CERT_CPP-ERR50-b CERT_CPP-ERR50-c CERT_CPP-ERR50-d CERT_CPP-ERR50-e CERT_CPP-ERR50-f CERT_CPP-ERR50-g CERT_CPP-ERR50-h CERT_CPP-ERR50-i CERT_CPP-ERR50-j CERT_CPP-ERR50-k CERT_CPP-ERR50-l CERT_CPP-ERR50-m CERT_CPP-ERR50-n
| The execution of a function registered with 'std::atexit()' or 'std::at_quick_exit()' should not exit via an exception Never allow an exception to be thrown from a destructor, deallocation, and swap Do not throw from within destructor There should be at least one exception handler to catch all otherwise unhandled exceptions An empty throw (throw;) shall only be used in the compound-statement of a catch handler Exceptions shall be raised only after start-up and before termination of the program Each exception explicitly thrown in the code shall have a handler of a compatible type in all call paths that could lead to that point Where a function's declaration includes an exception-specification, the function shall only be capable of throwing exceptions of the indicated type(s) Function called in global or namespace scope shall not throw unhandled exceptions Always catch exceptions Properly define exit handlers The 'abort()' function from the 'stdlib.h' or 'cstdlib' library shall not be used Avoid throwing exceptions from functions that are declared not to throw The 'quick_exit()' and '_Exit()' functions from the 'stdlib.h' or 'cstdlib' library shall not be used |
Polyspace Bug Finder | Include Page |
---|
| Polyspace Bug Finder_V |
---|
| Polyspace Bug Finder_V |
---|
|
| CERT C++: ERR50-CPP | Checks for implicit call to terminate() function (rule partially covered) | PRQA QA-C++ | Include Page |
---|
PRQA QA-C++_V | PRQA QA-C++_V | 5014 |
PVS-Studio | | V667, V2014 |
|
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
| stdlib-use
| Partially checked |
SonarQube C/C++ Plugin | Include Page |
---|
| SonarQube C/C++ Plugin_V |
---|
| SonarQube C/C++ Plugin_V |
---|
|
| S990 |
|
...