Versions Compared

Key

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

...

Tool

Version

Checker

Description

Compass/ROSE

 

 

Can detect violations of this rule. In particular, it ensures that all functions registered with atexit() do not call functions such as exit()

LDRA tool suite
Include Page
LDRA_V
LDRA_V
122 S, 7 SEnhanced Enforcementenforcement

Related Vulnerabilities

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

...

VOID ENV32-CPP. All atexit must return normally
CERT C Secure Coding StandardSIG30-C. Call only asynchronous-safe functions within signal handlersSEI CERT C++ Coding Standard handlers
ISO/IEC TR 24772:2013Structured Programming [EWD]
Termination Strategy [REU]
MITRE CWECWE-705, Incorrect Control Flow Scoping

...