Astrée | | include-setjmp
| Fully checked |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC++-ERR52 |
|
Clang | | cert-err52-cpp | Checked by clang-tidy . |
CodeSonar | | BADFUNC.LONGJMP BADFUNC.SETJMP | Use of longjmp Use of setjmp |
Helix QAC | | C++5015 |
|
Klocwork | | MISRA.STDLIB.LONGJMP |
|
LDRA tool suite | | 43 S
| Fully implemented |
Parasoft C/C++test | | CERT_CPP-ERR52-a CERT_CPP-ERR52-b | The setjmp macro and the longjmp function shall facilities provided by <setjmp.h> should not be used The standard header file files <setjmp.h> or <csetjmp> shall not be used |
Polyspace Bug Finder | Include Page |
---|
| Polyspace Bug Finder_V |
---|
| Polyspace Bug Finder_V |
---|
|
| CERT C++: ERR52-CPP | Checks for use of setjmp/longjmp (rule fully covered) | PRQA QA-C++
RuleChecker | | PRQA QA-C++ | PRQA QA-C++ | 5015 | include-setjmp
| Fully checked |
SonarQube C/C++ Plugin | Include Page |
---|
| SonarQube C/C++ Plugin_V |
---|
| SonarQube C/C++ Plugin_V |
---|
|
| S982 |
|