BADFUNC.ABORT : abortの使用

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.

処理系定義の動作となる abort() を使用しています。

クラス名

Use of abort

日本語クラス名

abortの使用

クラス分類

スタイル (style)

ニーモニック

BADFUNC.ABORT

カテゴリー

MisraC2023	MisraC2023:21.8	The Standard Library termination functions of <stdlib.h> shall not be used
	MisraC2023:D.4.1	Run-time failures shall be minimized
Misra2012	Misra2012:21.8	The Standard Library termination functions of <stdlib.h> shall not be used
	Misra2012:D.4.1	Run-time failures shall be minimized
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.

対応言語

C および C++ で利用可能です。

有効/無効設定

このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル（configuration file）に以下の WARNING_FILTER ルールを追加してください。

WARNING_FILTER += allow class="Use of abort"

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

このクラスは一般テンプレート設定ファイルで BAD_FUNCTION_* ルールセットによって実装されています。

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。

BADFUNC.ABORT : abortの使用

要旨

プロパティ

例

関連のある設定ファイルパラメータ