Versions Compared

Key

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

The handler functions new_handler, terminate_handler, and unexpected_handler can be globally replaced by custom implementations, as specified by [handler.functions], paragraph 2, of the C++ Standard [ISO/IEC 14882-2014]. For instance, an application could set a custom termination handler by calling std::set_terminate(), and the custom termination handler may log the termination for later auditing. However, the C++ Standard, [res.on.functions], paragraph 1, states the following:

In certain cases (replacement functions, handler functions, operations on types used to instantiate standard library template components), the C++ standard library depends on components supplied by a C++ program. If these components do not meet their requirements, the Standard places no requirements on the implementation.

Paragraph 2 further states, in part, further states the following:

In particular, the effects are undefined in the following cases:
— for handler functions, if the installed handler function does not implement the semantics of the applicable Required behavior: paragraph

...

The requirements for a replacement unexpected_handler are specified by [unexpected.handler], paragraph 2. unexpected_handler is a deprecated feature of C++.

Required behavior: An unexpected_handler shall not return. See also 15.5.2.

unexpected_handler is a deprecated feature of C++.

Noncompliant Code Example

...

Failing to meet the required behavior for a replacement handler results in undefined behavior.

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

OOP56-CPP

Low

Probable

High

P2

L3

Automated Detection

Tool

Version

Checker

Description

   

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

DF4776, DF4777, DF4778, DF4779


Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_CPP-OOP56-a
CERT_CPP-OOP56-b
CERT_CPP-OOP56-c

Properly define terminate handlers
Properly define unexpected handlers
Properly define new handlers

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: OOP56-CPP

Checks for replacement handler function that does not meet requirements (rule fully covered)

 

Related Vulnerabilities

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

Related Guidelines

Bibliography

[ISO/IEC 14882-2014]Subclause 17.6.4.8, "Other Functions"
Subclause 18.6.2.3, "Type new_handler
Subclause 18.8.3.1, "Type terminate_handler"
Subclause D.11.1, "Type unexpected_handler"
 
 


...

Image Modified Image Modified