Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Helix QAC_V

Tool

Version

Checker

Description

Astrée

Include Page
Astrée_V
Astrée_V

include-setjmp
Fully checked
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC++-ERR52
Clang
Include Page
Clang_38_V
Clang_38_V
cert-err52-cppChecked by clang-tidy.
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

BADFUNC.LONGJMP
BADFUNC.SETJMP

Use of longjmp
Use of setjmp
Helix QAC

Include Page
Helix QAC_V
Helix QAC_V



Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRA.STDLIB.LONGJMP
LDRA tool suite
Include Page
LDRA_V
LDRA_V

43 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_CPP-ERR52-a
CERT_CPP-ERR52-b

The setjmp macro and the longjmp function shall not be used
The standard header file <setjmp.h> shall not be used

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: ERR52-CPPChecks for use of setjmp/longjmp (rule fully covered)
PRQA QA-C++
Include Page
PRQA QA-C++_V
PRQA QA-C++_V

5015


RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
include-setjmp
Fully checked
SonarQube C/C++ Plugin
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V
S982Helix QAC
Include Page
Helix QAC_V

Related Vulnerabilities

Search for other vulnerabilities resulting from the violation of this rule on the CERT website.

...