Versions Compared

Key

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

...

The effects of throwing an exception across execution boundaries depends on the implementation details of the exception-handling mechanics. They can range from correct or benign behavior to undefined behavior.

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

ERR59-CPP

High

Probable

No

NoMedium

P12 P6

L1 L2

Automated Detection

fully

Tool

Version

Checker

Description

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C++3809, C++3810
Klocwork
Include Page
Klocwork_V
Klocwork_V

CERT.EXCEPTION.OVER.BOUNDARY


Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_CPP-ERR59-a

Do not throw an exception across execution boundaries

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: ERR59-CPPChecks for exceptions raised from library interfaces (rule partially covered).
Security Reviewer - Static Reviewer

Include Page
Security Reviewer - Static Reviewer_V
Security Reviewer - Static Reviewer_V

va_end_missingFully implemented

Related Vulnerabilities

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

...