Versions Compared

Key

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

...

Exception handlers with inverted priorities cause unexpected control flow when an exception of the derived type occurs.

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

ERR54-CPP

Medium

Likely

Low

P18

L1

Automated Detection

Tool

Version

Checker

Description

Clang
Include Page
Clang_V
Clang_V
-Wexceptions
 

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CP1.ERR36

Fully implemented

Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRA.CATCH.NOALL
MISRA.CATCH.WRONGORD
 
 
LDRA tool suite
Include Page
LDRA_V
LDRA_V

541 S, 556 S

Fully implemented

Parasoft C/C++test
Include Page
cplusplus:
Parasoft_V
cplusplus:
Parasoft_V
EXCEPT-17
 

PRQA QA-C++
Include Page
PRQA QA-C++_V
PRQA QA-C++_V
4030, 4639
 

SonarQube C/C++ Plugin
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V
S1045

PVS-Studio6.22V759General analysis rule
 

Related Vulnerabilities

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

Related Guidelines

[MISRA 08]

Rule 15-3-6 (Required)
Rule 15-3-7 (Required)

Bibliography

[ISO/IEC 14882-2014]Subclause 15.3, "Handling an Exception"

...


...