BADFUNC.EXIT : Use of exit

JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

If you access the manual through the hub's Web GUI, the functionality will not be suppressed because the hub is a web server.
Alternatively, your browser may allow you to explicitly disable the security setting that suppresses functionality. See the CodeSonar FAQ for more information.

CodeSonar^® 9.2p0

CONFIDENTIAL

CodeSecure Inc

C and C++

Binaries

BADFUNC.EXIT : Use of exit

Summary

A use of exit(), which has implementation-defined and undefined behaviors.

Properties

Class Name

Use of exit

Significance

style

Mnemonic

BADFUNC.EXIT

Categories

MisraC2025	MisraC2025:21.8	The Standard Library termination functions of <stdlib.h> shall not be used
MisraC2023	MisraC2023:21.8	The Standard Library termination functions of <stdlib.h> shall not be used
Misra2012	Misra2012:21.8	The Standard Library termination functions of <stdlib.h> shall not be used
Misra2004	Misra2004:20.11	The library functions abort, exit, getenv and system from library <stdlib.h> shall not be used
AUTOSARC++14	AUTOSARC++14:A15-5-2	Program shall not be abruptly terminated. In particular, an implicit or explicit invocation of std::abort(), std::quick_exit(), std::_Exit(), std::terminate() shall not be done.
	AUTOSARC++14:M18-0-3	The library functions abort, exit, getenv and system from library <cstdlib> shall not be used.
MisraC++2008	MisraC++2008:18-0-3	The library functions abort, exit, getenv and system from library <cstdlib> shall not be used.
MisraC++2023	MisraC++2023:18.5.2	Program-terminating functions should not be used
CWE	CWE:676	Use of Potentially Dangerous Function
	CWE:758	Reliance on Undefined, Unspecified, or Implementation-Defined Behavior
CERT-C	CERT-C:ENV32-C	All exit handlers must return normally
CERT-CPP	CERT-CPP:ERR50-CPP	Do not abruptly terminate the program
JSF++	JSF++:24	The library functions abort, exit, getenv and system from library <stdlib.h> shall not be used.
OWASP-2021	OWASP-2021:A4	Insecure design
OWASP-2025	OWASP-2025:A06	Insecure Design

Availability

Available for C and C++.

Enabling

Checks for this warning class are disabled by default. To enable them, add the following WARNING_FILTER rule to the project configuration file.

WARNING_FILTER += allow class="Use of exit"

Example

void do_error_check(int errorcode){
  if (errorcode) {
    exit(errorcode); /* 'Use of exit' warning issued here */
  }
}

Relevant Configuration File Parameters

This class is implemented using a BAD_FUNCTION_* rule set in the general template configuration file.

To include an additional function or set of functions in the checks for this class, create a new set of BAD_FUNCTION_* rules in which the BAD_FUNCTION_REGEX setting matches the function or set of functions you want to check and the remaining rules match those in the other sets for this class.
To remove a function or set of functions from the checks for this class, edit the configuration file to comment out the corresponding set of BAD_FUNCTION_* rules.

The following configuration file parameters affect checks for this warning class.

To report problems with this documentation, please visit https://support.codesecure.com/.