Klocwork および Klocwork community チェッカーにマッピングされた CERT C 規則

ABV.ANY_SIZE_ARRAY   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL.MULTIDIMENSION   バッファオーバーフロー - 配列インデックスが範囲外

ABV.STACK   バッファオーバーフロー - ローカル配列インデックスが範囲外

ABV.TAINTED   未検証の入力によるバッファオーバーフロー

ABV.UNICODE.BOUND_MAP   文字関数のマッピング時のバッファオーバーフロー

ABV.UNICODE.FAILED_MAP   関数のマッピングに失敗します

ABV.UNICODE.NNTS_MAP   文字関数のマッピング時のバッファオーバーフロー

ABV.UNICODE.SELF_MAP   関数のマッピングに失敗します

ABV.UNKNOWN_SIZE   バッファオーバーフロー - 配列インデックスが範囲外

NNTS.MIGHT   バッファオーバーフロー - 非 NULL 終了文字列

NNTS.MUST   バッファオーバーフロー - 非 NULL 終了文字列

NNTS.TAINTED   未検証のユーザー入力が原因のバッファオーバーフロー - 非 NULL 終了文字列

NPD.FUNC.CALL.MIGHT   NULL を返す関数の戻り値が、これを逆参照する可能性のある別の関数に渡される可能性があります

SV.TAINTED.INDEX_ACCESS   配列インデックスとしての未検証の整数の使用

SV.TAINTED.LOOP_BOUND   ループ条件での未検証の整数の使用

ABV.ANY_SIZE_ARRAY   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL.MULTIDIMENSION   バッファオーバーフロー - 配列インデックスが範囲外

ABV.STACK   バッファオーバーフロー - ローカル配列インデックスが範囲外

ABV.TAINTED   未検証の入力によるバッファオーバーフロー

ABV.UNICODE.BOUND_MAP   文字関数のマッピング時のバッファオーバーフロー

ABV.UNICODE.FAILED_MAP   関数のマッピングに失敗します

ABV.UNICODE.NNTS_MAP   文字関数のマッピング時のバッファオーバーフロー

ABV.UNICODE.SELF_MAP   関数のマッピングに失敗します

ABV.UNKNOWN_SIZE   バッファオーバーフロー - 配列インデックスが範囲外

NNTS.MIGHT   バッファオーバーフロー - 非 NULL 終了文字列

NNTS.MUST   バッファオーバーフロー - 非 NULL 終了文字列

NNTS.TAINTED   未検証のユーザー入力が原因のバッファオーバーフロー - 非 NULL 終了文字列

NPD.FUNC.CALL.MIGHT   NULL を返す関数の戻り値が、これを逆参照する可能性のある別の関数に渡される可能性があります

SV.TAINTED.INDEX_ACCESS   配列インデックスとしての未検証の整数の使用

SV.TAINTED.LOOP_BOUND   ループ条件での未検証の整数の使用

MISRA.ARRAY.VAR_LENGTH.2012   変数の長さの配列種類は使用しないでください

MISRA.ARRAY.VAR_LENGTH.2012   変数の長さの配列種類は使用しないでください

MISRA.PTR.ARITH   代数式または配列インデックス式でポインタが使用されています

MISRA.PTR.ARITH   代数式または配列インデックス式でポインタが使用されています

CERT.ARR.PTR.ARITH   演算式にポインターが使用されています

CERT.ARR.PTR.ARITH   演算式にポインターが使用されています

ABV.GENERAL   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL.MULTIDIMENSION   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL.MULTIDIMENSION   バッファオーバーフロー - 配列インデックスが範囲外

CERT.ARR.PTR.ARITH   演算式にポインターが使用されています

CERT.ARR.PTR.ARITH   演算式にポインターが使用されています

CERT.CONC.LIB_FUNC_USE   ライブラリ関数の使用時には競合状態を避けてください

CERT.CONC.LIB_FUNC_USE   ライブラリ関数の使用時には競合状態を避けてください

CONC.DL   デッドロック

CONC.NO_UNLOCK   変数のロック解除の欠落

CONC.DL   デッドロック

CONC.NO_UNLOCK   変数のロック解除の欠落

CERT.CONC.WAKE_IN_LOOP_C   擬似的にループを起動する可能性のあるラップ関数

CERT.CONC.WAKE_IN_LOOP_C   擬似的にループを起動する可能性のあるラップ関数

MISRA.STDLIB.SIGNAL   signal.h の信号処理装置の使用

MISRA.STDLIB.SIGNAL   signal.h の信号処理装置の使用

CERT.CONC.UNSAFE_COND_VAR_C   条件変数の使用時に、スレッドセーフと活性を維持します

CERT.CONC.UNSAFE_COND_VAR_C   条件変数の使用時に、スレッドセーフと活性を維持します

CERT.CONC.ATOMIC_TWICE_EXPR   1 つの式でアトミック変数を 2 回参照しないでください

CERT.CONC.ATOMIC_TWICE_EXPR   1 つの式でアトミック変数を 2 回参照しないでください

CERT.CONC.ATOMIC_COMP_FAIL_IN_LOOP   ループで疑似的に失敗する可能性のある関数はラップしてください

CERT.CONC.ATOMIC_COMP_FAIL_IN_LOOP   ループで疑似的に失敗する可能性のある関数はラップしてください

LOCRET.ARG   関数がローカル変数のアドレスを返しています

LOCRET.GLOB   関数がローカル変数のアドレスを返しています

LOCRET.RET   関数がローカル変数のアドレスを返しています

LOCRET.ARG   関数がローカル変数のアドレスを返しています

LOCRET.GLOB   関数がローカル変数のアドレスを返しています

LOCRET.RET   関数がローカル変数のアドレスを返しています

CWARN.IMPLICITINT   古い用法の 'implicit int'

MISRA.DECL.NO_TYPE   宣言から型が抜けています

MISRA.FUNC.NOPROT.CALL   関数が呼び出されていますが、プロトタイプがありません

RETVOID.IMPLICIT   暗黙的な int 関数によって void 値が返されます

CWARN.IMPLICITINT   古い用法の 'implicit int'

MISRA.DECL.NO_TYPE   宣言から型が抜けています

MISRA.FUNC.NOPROT.CALL   関数が呼び出されていますが、プロトタイプがありません

RETVOID.IMPLICIT   暗黙的な int 関数によって void 値が返されます

MISRA.FUNC.STATIC.REDECL   関数またはオブジェクトの再宣言に 'static' 修飾子がありません

MISRA.FUNC.STATIC.REDECL   関数またはオブジェクトの再宣言に 'static' 修飾子がありません

MISRA.DEFINE.WRONGNAME.UNDERSCORE   予約名がマクロ名に使用されています

MISRA.STDLIB.WRONGNAME   標準ライブラリのマクロ、オブジェクトまたは関数の名前が再使用されています

MISRA.STDLIB.WRONGNAME.UNDERSCORE   予約名が言語エンティティの名前に使用されています

MISRA.DEFINE.WRONGNAME.UNDERSCORE   予約名がマクロ名に使用されています

MISRA.STDLIB.WRONGNAME   標準ライブラリのマクロ、オブジェクトまたは関数の名前が再使用されています

MISRA.STDLIB.WRONGNAME.UNDERSCORE   予約名が言語エンティティの名前に使用されています

CERT.STRUCT.FLEXIBLE_ARRAY_MEMBER   フレキシブル配列メンバーの宣言時には正しい構文を使用する

CERT.STRUCT.FLEXIBLE_ARRAY_MEMBER   フレキシブル配列メンバーの宣言時には正しい構文を使用する

PORTING.STORAGE.STRUCT   構造の要素のバイト位置が配置属性およびパッケージ属性に依存している可能性があります。

PORTING.STORAGE.STRUCT   構造の要素のバイト位置が配置属性およびパッケージ属性に依存している可能性があります。

MISRA.FUNC.NOPROT.DEF.2012   関数は定義されていますが、プロトタイプがありません

MISRA.FUNC.PARAMS.IDENT   関数の宣言と定義で使用される識別子が一致していません

MISRA.FUNC.NOPROT.DEF.2012   関数は定義されていますが、プロトタイプがありません

MISRA.FUNC.PARAMS.IDENT   関数の宣言と定義で使用される識別子が一致していません

CERT.DCL.SWITCH.VAR_BEFORE_CASE   switch ステートメント内では最初の case ラベルより前で変数を宣言しないでください

CERT.DCL.SWITCH.VAR_BEFORE_CASE   switch ステートメント内では最初の case ラベルより前で変数を宣言しないでください

MISRA.STDLIB.CTYPE.RANGE.2012_AMD1   ctype.h で関数に渡される値はすべて unsigned char として表現できるか、または値 EOF でなければなりません

MISRA.STDLIB.ILLEGAL_REUSE.2012_AMD1   標準ライブラリ関数 asctime または同様の関数によって返されるポインタは、同じ関数の後続の呼び出しに続いては使用しません

MISRA.STDLIB.ILLEGAL_WRITE.2012_AMD1   標準ライブラリ関数 localeconv、getenv、setlocale、または strerror が返すポインターは、必ずそれらが const-qualified 型を指すポインターを持つかのように使用する必要があります。

MISRA.STDLIB.CTYPE.RANGE.2012_AMD1   ctype.h で関数に渡される値はすべて unsigned char として表現できるか、または値 EOF でなければなりません

MISRA.STDLIB.ILLEGAL_REUSE.2012_AMD1   標準ライブラリ関数 asctime または同様の関数によって返されるポインタは、同じ関数の後続の呼び出しに続いては使用しません

MISRA.STDLIB.ILLEGAL_WRITE.2012_AMD1   標準ライブラリ関数 localeconv、getenv、setlocale、または strerror が返すポインターは、必ずそれらが const-qualified 型を指すポインターを持つかのように使用する必要があります。

CERT.EXIT.HANDLER_TERMINATE   すべての exit ハンドラーは正常に戻る必要があります

CERT.EXIT.HANDLER_TERMINATE   すべての exit ハンドラーは正常に戻る必要があります

SV.CODE_INJECTION.SHELL_EXEC   シェル実行へのコマンドインジェクション

SV.CODE_INJECTION.SHELL_EXEC   シェル実行へのコマンドインジェクション

MISRA.STDLIB.ILLEGAL_REUSE.2012_AMD1   標準ライブラリ関数 asctime または同様の関数によって返されるポインタは、同じ関数の後続の呼び出しに続いては使用しません

MISRA.STDLIB.ILLEGAL_REUSE.2012_AMD1   標準ライブラリ関数 asctime または同様の関数によって返されるポインタは、同じ関数の後続の呼び出しに続いては使用しません

CXX.ERRNO.INCORRECTLY_CHECKED   ライブラリ関数を呼び出した後に、errno の条件チェックは必要ない

CXX.ERRNO.NOT_CHECKED   ライブラリ関数を呼び出した後に、errno の条件チェックが欠落している

CXX.ERRNO.NOT_SET   ライブラリ関数を呼び出す前に、errno はゼロにリセットされていない

CXX.ERRNO.INCORRECTLY_CHECKED   ライブラリ関数を呼び出した後に、errno の条件チェックは必要ない

CXX.ERRNO.NOT_CHECKED   ライブラリ関数を呼び出した後に、errno の条件チェックが欠落している

CXX.ERRNO.NOT_SET   ライブラリ関数を呼び出す前に、errno はゼロにリセットされていない

MISRA.INCL.SIGNAL.2012   標準ヘッダーファイル signal.h は使用しない

MISRA.STDLIB.SIGNAL   signal.h の信号処理装置の使用

MISRA.INCL.SIGNAL.2012   標準ヘッダーファイル signal.h は使用しない

MISRA.STDLIB.SIGNAL   signal.h の信号処理装置の使用

NPD.CHECK.MUST   ポインタを明示的に NULL チェックした後に逆参照します

NPD.FUNC.MUST   NULL を返す可能性がある関数の戻り値が逆参照されます

SV.RVT.RETVAL_NOTTESTED   戻り値の無視

NPD.CHECK.MUST   ポインタを明示的に NULL チェックした後に逆参照します

NPD.FUNC.MUST   NULL を返す可能性がある関数の戻り値が逆参照されます

SV.RVT.RETVAL_NOTTESTED   戻り値の無視

CERT.ERR.CONV.STR_TO_NUM   文字列を数値に変換する際にエラーを検出する

MISRA.STDLIB.ATOI   ライブラリ stdlib.h から 'atof'、'atoi' または 'atol' が使用されています

SV.BANNED.RECOMMENDED.SCANF   禁止が推奨されているAPI: 安全でない scanf 型関数

CERT.ERR.CONV.STR_TO_NUM   文字列を数値に変換する際にエラーを検出する

MISRA.STDLIB.ATOI   ライブラリ stdlib.h から 'atof'、'atoi' または 'atol' が使用されています

SV.BANNED.RECOMMENDED.SCANF   禁止が推奨されているAPI: 安全でない scanf 型関数

MISRA.INCR_DECR.OTHER   増分または減分の演算子がその他の演算子と混合して式で使用されています

PORTING.VAR.EFFECTS   ある使用法が副次的な影響を受ける式で変数が 2 回使用されています

MISRA.INCR_DECR.OTHER   増分または減分の演算子がその他の演算子と混合して式で使用されています

PORTING.VAR.EFFECTS   ある使用法が副次的な影響を受ける式で変数が 2 回使用されています

CERT.EXPR.VOLATILE.ADDR   非 volatile ポインタを通して volatile オブジェクトにアクセスしてはいけません

CERT.EXPR.VOLATILE.ADDR.PARAM   非 volatile ポインタを介して volatile オブジェクトを関数に渡さないでください

CERT.EXPR.VOLATILE.PTRPTR   非 volatile ポインタへの参照を volatile ポインタのポインタに割り当てないでください

CERT.EXPR.VOLATILE.ADDR   非 volatile ポインタを通して volatile オブジェクトにアクセスしてはいけません

CERT.EXPR.VOLATILE.ADDR.PARAM   非 volatile ポインタを介して volatile オブジェクトを関数に渡さないでください

CERT.EXPR.VOLATILE.PTRPTR   非 volatile ポインタへの参照を volatile ポインタのポインタに割り当てないでください

UNINIT.HEAP.MIGHT   未初期化のヒープの使用の可能性

UNINIT.HEAP.MUST   未初期化のヒープの使用

UNINIT.STACK.ARRAY.MIGHT   未初期化の配列の可能性

UNINIT.STACK.ARRAY.MUST   未初期化の配列

UNINIT.STACK.ARRAY.PARTIAL.MUST   一部が未初期化の配列

UNINIT.STACK.MIGHT   未初期化の変数の可能性

UNINIT.STACK.MUST   未初期化の変数

UNINIT.HEAP.MIGHT   未初期化のヒープの使用の可能性

UNINIT.HEAP.MUST   未初期化のヒープの使用

UNINIT.STACK.ARRAY.MIGHT   未初期化の配列の可能性

UNINIT.STACK.ARRAY.MUST   未初期化の配列

UNINIT.STACK.ARRAY.PARTIAL.MUST   一部が未初期化の配列

UNINIT.STACK.MIGHT   未初期化の変数の可能性

UNINIT.STACK.MUST   未初期化の変数

NPD.CHECK.CALL.MIGHT   ポインタを明示的に NULL チェックした後に逆参照する可能性のある関数に渡す可能性があります

NPD.CHECK.CALL.MUST   ポインタを明示的に NULL チェックした後に逆参照する可能性がある関数に渡します

NPD.CHECK.MIGHT   ポインタを明示的に NULL チェックした後に逆参照する可能性があります

NPD.CHECK.MUST   ポインタを明示的に NULL チェックした後に逆参照します

NPD.CONST.CALL   逆参照する可能性のある関数に NULL を渡しています

NPD.CONST.DEREF   NULL は逆参照されます

NPD.FUNC.CALL.MIGHT   NULL を返す関数の戻り値が、これを逆参照する可能性のある別の関数に渡される可能性があります

NPD.FUNC.CALL.MUST   NULL を返す関数の戻り値が、これを逆参照する可能性がある別の関数に渡されます

NPD.FUNC.MIGHT   NULL を返す可能性のある関数の戻り値が逆参照される場合があります

NPD.FUNC.MUST   NULL を返す可能性がある関数の戻り値が逆参照されます

NPD.GEN.CALL.MIGHT   NULLポインタを逆参照する可能性がある関数に渡す場合があります

NPD.GEN.CALL.MUST   NULLポインタを逆参照する関数に渡します

NPD.GEN.MIGHT   NULLポインタを逆参照する可能性があります

NPD.GEN.MUST   NULLポインタを逆参照します

RNPD.CALL   NULL チェック前のポインタの、関数呼び出しにおける逆参照は問題となる可能性があります

RNPD.DEREF   NULL チェック前のポインタの逆参照は問題となる可能性があります

NPD.CHECK.CALL.MIGHT   ポインタを明示的に NULL チェックした後に逆参照する可能性のある関数に渡す可能性があります

NPD.CHECK.CALL.MUST   ポインタを明示的に NULL チェックした後に逆参照する可能性がある関数に渡します

NPD.CHECK.MIGHT   ポインタを明示的に NULL チェックした後に逆参照する可能性があります

NPD.CHECK.MUST   ポインタを明示的に NULL チェックした後に逆参照します

NPD.CONST.CALL   逆参照する可能性のある関数に NULL を渡しています

NPD.CONST.DEREF   NULL は逆参照されます

NPD.FUNC.CALL.MIGHT   NULL を返す関数の戻り値が、これを逆参照する可能性のある別の関数に渡される可能性があります

NPD.FUNC.CALL.MUST   NULL を返す関数の戻り値が、これを逆参照する可能性がある別の関数に渡されます

NPD.FUNC.MIGHT   NULL を返す可能性のある関数の戻り値が逆参照される場合があります

NPD.FUNC.MUST   NULL を返す可能性がある関数の戻り値が逆参照されます

NPD.GEN.CALL.MIGHT   NULLポインタを逆参照する可能性がある関数に渡す場合があります

NPD.GEN.CALL.MUST   NULLポインタを逆参照する関数に渡します

NPD.GEN.MIGHT   NULLポインタを逆参照する可能性があります

NPD.GEN.MUST   NULLポインタを逆参照します

RNPD.CALL   NULL チェック前のポインタの、関数呼び出しにおける逆参照は問題となる可能性があります

RNPD.DEREF   NULL チェック前のポインタの逆参照は問題となる可能性があります

MISRA.CAST.OBJ_PTR_TO_OBJ_PTR.2012   オブジェクト タイプを指すポインタと、異なるオブジェクト タイプを指す別のポインタとの間のキャスト

MISRA.CAST.OBJ_PTR_TO_OBJ_PTR.2012   オブジェクト タイプを指すポインタと、異なるオブジェクト タイプを指す別のポインタとの間のキャスト

MISRA.FUNC.UNMATCHED.PARAMS   関数に渡される仮引数と実際のパラメーターの数が一致しません

MISRA.FUNC.UNMATCHED.PARAMS   関数に渡される仮引数と実際のパラメーターの数が一致しません

MISRA.CAST.FUNC_PTR.2012   関数を指すポインタと、別の非互換タイプとの間で実行された変換

MISRA.CAST.INCOMPLETE_PTR_TO_ANY.2012   不完全なタイプ を指すポインタと、別のタイプとの間で実行された変換

MISRA.CAST.OBJ_PTR_TO_NON_INT.2012   オブジェクトを指すポインタと、非整数算術演算タイプとの間のキャスト

MISRA.CAST.OBJ_PTR_TO_OBJ_PTR.2012   オブジェクト タイプを指すポインタと、異なるオブジェクト タイプを指す別のポインタとの間のキャスト

MISRA.CAST.FUNC_PTR.2012   関数を指すポインタと、別の非互換タイプとの間で実行された変換

MISRA.CAST.INCOMPLETE_PTR_TO_ANY.2012   不完全なタイプ を指すポインタと、別のタイプとの間で実行された変換

MISRA.CAST.OBJ_PTR_TO_NON_INT.2012   オブジェクトを指すポインタと、非整数算術演算タイプとの間のキャスト

MISRA.CAST.OBJ_PTR_TO_OBJ_PTR.2012   オブジェクト タイプを指すポインタと、異なるオブジェクト タイプを指す別のポインタとの間のキャスト

MISRA.STDLIB.MEMCMP.PTR_ARG_TYPES   標準ライブラリ関数 memcmp へのポインター引数は、ポインター型、本質的に符号付きの型、本質的に符号なしの型、本質的にブール型、または本質的に列挙型のどれかです

MISRA.STDLIB.MEMCMP.PTR_ARG_TYPES   標準ライブラリ関数 memcmp へのポインター引数は、ポインター型、本質的に符号付きの型、本質的に符号なしの型、本質的にブール型、または本質的に列挙型のどれかです

MISRA.TYPE.RESTRICT.QUAL.2012   restrict 型修飾子は使用しない

MISRA.TYPE.RESTRICT.QUAL.2012   restrict 型修飾子は使用しない

MISRA.SIZEOF.SIDE_EFFECT   sizeof のオペランドに副作用があります

MISRA.SIZEOF.SIDE_EFFECT   sizeof のオペランドに副作用があります

ASSIGCOND.CALL   割り当て条件 (呼び出し)

ASSIGCOND.GEN   割り当て条件

MISRA.ASSIGN.COND   条件内で代入演算子が使用されています

ASSIGCOND.CALL   割り当て条件 (呼び出し)

ASSIGCOND.GEN   割り当て条件

MISRA.ASSIGN.COND   条件内で代入演算子が使用されています

MISRA.LOGIC.OPERATOR.NOT_BOOL   論理演算ではない演算子のオペランドが実質的にはブール値です

MISRA.LOGIC.OPERATOR.NOT_BOOL   論理演算ではない演算子のオペランドが実質的にはブール値です

CERT.VA_ARG.TYPE   正しくない型の引数で va_arg を呼び出さない

CERT.VA_ARG.TYPE   正しくない型の引数で va_arg を呼び出さない

SV.FMTSTR.GENERIC   書式文字列の脆弱性

SV.TAINTED.FMTSTR   書式文字列での未検証データの使用

SV.FMTSTR.GENERIC   書式文字列の脆弱性

SV.TAINTED.FMTSTR   書式文字列での未検証データの使用

CWARN.CMPCHR.EOF   'char' 式と EOF 定数との比較

CWARN.CMPCHR.EOF   'char' 式と EOF 定数との比較

MISRA.FILE_PTR.DEREF.2012   FILE オブジェクトへのポインターは逆参照してはなりません

MISRA.FILE_PTR.DEREF.CAST.2012   オブジェクトは FILE ポインターにキャストされており、これを逆参照してはなりません。

MISRA.FILE_PTR.DEREF.INDIRECT.2012   FILE オブジェクトへのポインターは、システム関数で間接的に逆参照してはなりません

MISRA.FILE_PTR.DEREF.RETURN.2012   FILE オブジェクト（関数の戻り値）へのポインターは逆参照してはなりません

MISRA.FILE_PTR.DEREF.2012   FILE オブジェクトへのポインターは逆参照してはなりません

MISRA.FILE_PTR.DEREF.CAST.2012   オブジェクトは FILE ポインターにキャストされており、これを逆参照してはなりません。

MISRA.FILE_PTR.DEREF.INDIRECT.2012   FILE オブジェクトへのポインターは、システム関数で間接的に逆参照してはなりません

MISRA.FILE_PTR.DEREF.RETURN.2012   FILE オブジェクト（関数の戻り値）へのポインターは逆参照してはなりません

CERT.FIO.NO_FLUSH   フラッシュまたは位置調整の関数呼び出しの欠如

CERT.FIO.NO_FLUSH   フラッシュまたは位置調整の関数呼び出しの欠如

RH.LEAK   リソースリーク

RH.LEAK   リソースリーク

CERT.FSETPOS.VALUE   fsetpos() に、fgetpos() から返される値のみを使用します

CERT.FSETPOS.VALUE   fsetpos() に、fgetpos() から返される値のみを使用します

SV.TOCTOU.FILE_ACCESS   ファイル アクセス時の作成日時/使用日時の競合状態

SV.TOCTOU.FILE_ACCESS   ファイル アクセス時の作成日時/使用日時の競合状態

SV.INCORRECT_RESOURCE_HANDLING.URH   安全でないリソース処理

SV.INCORRECT_RESOURCE_HANDLING.URH   安全でないリソース処理

SV.FMT_STR.PRINT_FORMAT_MISMATCH.BAD   互換性がない print 関数パラメーターの型

SV.FMT_STR.PRINT_FORMAT_MISMATCH.UNDESIRED   予期しない print 関数パラメーターの型

SV.FMT_STR.PRINT_IMPROP_LENGTH   print 関数呼び出しの長さ修飾子の不適切な使用

SV.FMT_STR.PRINT_PARAMS_WRONGNUM.FEW   print 関数呼び出しの引数が少なすぎます

SV.FMT_STR.PRINT_PARAMS_WRONGNUM.MANY   print 関数呼び出しの引数が多すぎます

SV.FMT_STR.SCAN_FORMAT_MISMATCH.BAD   互換性がない scan 関数パラメーターの型

SV.FMT_STR.SCAN_FORMAT_MISMATCH.UNDESIRED   予期しない scan 関数パラメーターの型

SV.FMT_STR.SCAN_IMPROP_LENGTH   scan 関数呼び出しの長さ修飾子の不適切な使用

SV.FMT_STR.SCAN_PARAMS_WRONGNUM.FEW   scan 関数呼び出しの引数が少なすぎます

SV.FMT_STR.SCAN_PARAMS_WRONGNUM.MANY   scan 関数呼び出しの引数が多すぎます

SV.FMT_STR.UNKWN_FORMAT   print 関数呼び出しの書式指定子が不明です

SV.FMT_STR.PRINT_FORMAT_MISMATCH.BAD   互換性がない print 関数パラメーターの型

SV.FMT_STR.PRINT_FORMAT_MISMATCH.UNDESIRED   予期しない print 関数パラメーターの型

SV.FMT_STR.PRINT_IMPROP_LENGTH   print 関数呼び出しの長さ修飾子の不適切な使用

SV.FMT_STR.PRINT_PARAMS_WRONGNUM.FEW   print 関数呼び出しの引数が少なすぎます

SV.FMT_STR.PRINT_PARAMS_WRONGNUM.MANY   print 関数呼び出しの引数が多すぎます

SV.FMT_STR.SCAN_FORMAT_MISMATCH.BAD   互換性がない scan 関数パラメーターの型

SV.FMT_STR.SCAN_FORMAT_MISMATCH.UNDESIRED   予期しない scan 関数パラメーターの型

SV.FMT_STR.SCAN_IMPROP_LENGTH   scan 関数呼び出しの長さ修飾子の不適切な使用

SV.FMT_STR.SCAN_PARAMS_WRONGNUM.FEW   scan 関数呼び出しの引数が少なすぎます

SV.FMT_STR.SCAN_PARAMS_WRONGNUM.MANY   scan 関数呼び出しの引数が多すぎます

SV.FMT_STR.UNKWN_FORMAT   print 関数呼び出しの書式指定子が不明です

MISRA.FOR.COUNTER.FLT   for ループのカウンターが浮動小数点タイプです

MISRA.FOR.COUNTER.FLT   for ループのカウンターが浮動小数点タイプです

MISRA.CAST.FLOAT.WIDER   より広い浮動小数点タイプへの浮動小数点式のキャスト

MISRA.CAST.FLOAT_INT   整数型への浮動小数点式のキャスト

MISRA.CAST.INT_FLOAT   浮動小数点タイプへの複合式のキャスト

MISRA.CONV.FLOAT   暗黙的な浮動小数点変換です

MISRA.CAST.FLOAT.WIDER   より広い浮動小数点タイプへの浮動小数点式のキャスト

MISRA.CAST.FLOAT_INT   整数型への浮動小数点式のキャスト

MISRA.CAST.INT_FLOAT   浮動小数点タイプへの複合式のキャスト

MISRA.CONV.FLOAT   暗黙的な浮動小数点変換です

PORTING.CAST.FLTPNT   非浮動小数点タイプへの浮動小数点式のキャスト

PORTING.CAST.FLTPNT   非浮動小数点タイプへの浮動小数点式のキャスト

CERT.MEMCMP.FLOAT_MEMBER   メンバーが浮動小数点の場合、比較しないでください

MISRA.STDLIB.MEMCMP.PTR_ARG_TYPES   標準ライブラリ関数 memcmp へのポインター引数は、ポインター型、本質的に符号付きの型、本質的に符号なしの型、本質的にブール型、または本質的に列挙型のどれかです

CERT.MEMCMP.FLOAT_MEMBER   メンバーが浮動小数点の場合、比較しないでください

MISRA.STDLIB.MEMCMP.PTR_ARG_TYPES   標準ライブラリ関数 memcmp へのポインター引数は、ポインター型、本質的に符号付きの型、本質的に符号なしの型、本質的にブール型、または本質的に列挙型のどれかです

CWARN.NOEFFECT.OUTOFRANGE   範囲外の値

NUM.OVERFLOW   オーバーフローの可能性

NUM.OVERFLOW.DF   起こり得る数値のオーバーフローまたはラップアラウンド

CWARN.NOEFFECT.OUTOFRANGE   範囲外の値

NUM.OVERFLOW   オーバーフローの可能性

NUM.OVERFLOW.DF   起こり得る数値のオーバーフローまたはラップアラウンド

PORTING.CAST.SIZE   サイズが異なる可能性がある型に式がキャストされています

PORTING.CAST.SIZE   サイズが異なる可能性がある型に式がキャストされています

CWARN.NOEFFECT.OUTOFRANGE   範囲外の値

NUM.OVERFLOW   オーバーフローの可能性

NUM.OVERFLOW.DF   起こり得る数値のオーバーフローまたはラップアラウンド

CWARN.NOEFFECT.OUTOFRANGE   範囲外の値

NUM.OVERFLOW   オーバーフローの可能性

NUM.OVERFLOW.DF   起こり得る数値のオーバーフローまたはラップアラウンド

DBZ.CONST   ゼロ定数による除算が発生しました

DBZ.CONST.CALL   値 '0' が除数としてこの値を使用できる関数に渡されます

DBZ.GENERAL   ゼロ除算が発生した可能性があります

DBZ.ITERATOR   ループ反復子でゼロ除算が発生した可能性があります

DBZ.ITERATOR.CALL   関数呼出しでゼロ除算が発生した可能性があります

DBZ.CONST   ゼロ定数による除算が発生しました

DBZ.CONST.CALL   値 '0' が除数としてこの値を使用できる関数に渡されます

DBZ.GENERAL   ゼロ除算が発生した可能性があります

DBZ.ITERATOR   ループ反復子でゼロ除算が発生した可能性があります

DBZ.ITERATOR.CALL   関数呼出しでゼロ除算が発生した可能性があります

MISRA.SHIFT.RANGE.2012   シフト演算子の右側のオペランドは範囲外です - 左側のオペランドの基本タイプのサイズ以上か、または負

MISRA.SHIFT.RANGE.2012   シフト演算子の右側のオペランドは範囲外です - 左側のオペランドの基本タイプのサイズ以上か、または負

MISRA.CAST.OBJ_PTR_TO_INT.2012   オブジェクトを指すポインタと、整数タイプとの間で実行された変換

MISRA.CAST.OBJ_PTR_TO_INT.2012   オブジェクトを指すポインタと、整数タイプとの間で実行された変換

UFM.DEREF.MIGHT   解放済みメモリの逆参照の可能性

UFM.DEREF.MUST   解放済みメモリの逆参照

UFM.FFM.MIGHT   解放済みメモリの使用 (二重解放)の可能性

UFM.FFM.MUST   解放済みメモリの解放

UFM.RETURN.MIGHT   解放済みメモリの戻り値への使用の可能性

UFM.RETURN.MUST   解放済みメモリの戻り値への使用

UFM.USE.MIGHT   解放済みメモリの使用の可能性

UFM.USE.MUST   解放済みメモリの使用

UFM.DEREF.MIGHT   解放済みメモリの逆参照の可能性

UFM.DEREF.MUST   解放済みメモリの逆参照

UFM.FFM.MIGHT   解放済みメモリの使用 (二重解放)の可能性

UFM.FFM.MUST   解放済みメモリの解放

UFM.RETURN.MIGHT   解放済みメモリの戻り値への使用の可能性

UFM.RETURN.MUST   解放済みメモリの戻り値への使用

UFM.USE.MIGHT   解放済みメモリの使用の可能性

UFM.USE.MUST   解放済みメモリの使用

CL.FFM.ASSIGN   解放済みメモリの使用 (二重解放) - operator= が無いため

CL.FFM.COPY   解放済みメモリの使用 (二重解放) - コピーコンストラクタが無いため

CL.SHALLOW.ASSIGN   解放済みメモリの使用 (二重解放) - 演算子 = での浅いコピー

CL.SHALLOW.COPY   解放済みメモリの使用 (二重解放) - コピーコンストラクタでの浅いコピー

FMM.MIGHT   メモリの解放の不一致の可能性

FMM.MUST   メモリの解放の不一致

CL.FFM.ASSIGN   解放済みメモリの使用 (二重解放) - operator= が無いため

CL.FFM.COPY   解放済みメモリの使用 (二重解放) - コピーコンストラクタが無いため

CL.SHALLOW.ASSIGN   解放済みメモリの使用 (二重解放) - 演算子 = での浅いコピー

CL.SHALLOW.COPY   解放済みメモリの使用 (二重解放) - コピーコンストラクタでの浅いコピー

FMM.MIGHT   メモリの解放の不一致の可能性

FMM.MUST   メモリの解放の不一致

MISRA.INCOMPLETE.STRUCT   不完全な構造タイプが使用されています

MISRA.MEMB.FLEX_ARRAY.2012   柔軟な配列メンバーは宣言しないでください

MISRA.INCOMPLETE.STRUCT   不完全な構造タイプが使用されています

MISRA.MEMB.FLEX_ARRAY.2012   柔軟な配列メンバーは宣言しないでください

FNH.MIGHT   非ヒープメモリの解放の可能性

FNH.MUST   非ヒープメモリの解放

FNH.MIGHT   非ヒープメモリの解放の可能性

FNH.MUST   非ヒープメモリの解放

INCORRECT.ALLOC_SIZE   不適切な割り当てサイズ

SV.TAINTED.ALLOC_SIZE   メモリ割り当て時の未検証の整数の使用

INCORRECT.ALLOC_SIZE   不適切な割り当てサイズ

SV.TAINTED.ALLOC_SIZE   メモリ割り当て時の未検証の整数の使用

AUTOSAR.STDLIB.MEMORY   関数 malloc、calloc、realloc、および free は使用してはなりません

AUTOSAR.STDLIB.MEMORY   関数 malloc、calloc、realloc、および free は使用してはなりません

CERT.MSC.STD_RAND_CALL   疑似乱数の生成に std::rand() を使用しないでください

CERT.MSC.STD_RAND_CALL   疑似乱数の生成に std::rand() を使用しないでください

CERT.MSC.SEED_RANDOM   疑似乱数ジェネレータを適切にシードする

CERT.MSC.SEED_RANDOM   疑似乱数ジェネレータを適切にシードする

CERT.MSC.ASCTIME   asctime() 関数に無効なデータを渡さないでください

CERT.MSC.ASCTIME   asctime() 関数に無効なデータを渡さないでください

FUNCRET.GEN   非 void 関数に戻り値がありません

FUNCRET.IMPLICIT   暗黙的に int を返す非 void 関数に戻り値がありません

FUNCRET.GEN   非 void 関数に戻り値がありません

FUNCRET.IMPLICIT   暗黙的に int を返す非 void 関数に戻り値がありません

VA.LIST.INDETERMINATE   不定値を持つ va_list に対する va_arg() の呼び出し

VA.LIST.INDETERMINATE   不定値を持つ va_list に対する va_arg() の呼び出し

MISRA.FUNC.STATIC.REDECL   関数またはオブジェクトの再宣言に 'static' 修飾子がありません

MISRA.FUNC.STATIC.REDECL   関数またはオブジェクトの再宣言に 'static' 修飾子がありません

CXX.SV.PWD.PLAIN   プレーンな文字列を使用してパスワードを設定しようとしています

CXX.SV.PWD.PLAIN.LENGTH   15 文字未満の長さでパスワードを設定しようとしています

CXX.SV.PWD.PLAIN.LENGTH.ZERO   ゼロ文字の長さでパスワードを設定しようとしています

HCC   ハードコードされた資格情報の使用

HCC.PWD   ハードコードされたパスワードの使用

HCC.USER   ハードコードされたユーザー名の使用

CXX.SV.PWD.PLAIN   プレーンな文字列を使用してパスワードを設定しようとしています

CXX.SV.PWD.PLAIN.LENGTH   15 文字未満の長さでパスワードを設定しようとしています

CXX.SV.PWD.PLAIN.LENGTH.ZERO   ゼロ文字の長さでパスワードを設定しようとしています

HCC   ハードコードされた資格情報の使用

HCC.PWD   ハードコードされたパスワードの使用

HCC.USER   ハードコードされたユーザー名の使用

ABV.GENERAL   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL.MULTIDIMENSION   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL   バッファオーバーフロー - 配列インデックスが範囲外

ABV.GENERAL.MULTIDIMENSION   バッファオーバーフロー - 配列インデックスが範囲外

CERT.PUTENV.AUTO_VARIABLE   自動変数へのポインターを引数として putenv() を呼び出さないでください

CERT.PUTENV.AUTO_VARIABLE   自動変数へのポインターを引数として putenv() を呼び出さないでください

CERT.STR.ASSIGN.CONST_TO_NONCONST   const char ポインターを非 const char ポインターに割り当てないでください

SV.TOCTOU.FILE_ACCESS   ファイル アクセス時の作成日時/使用日時の競合状態

CERT.STR.ASSIGN.CONST_TO_NONCONST   const char ポインターを非 const char ポインターに割り当てないでください

SV.TOCTOU.FILE_ACCESS   ファイル アクセス時の作成日時/使用日時の競合状態

SV.USAGERULES.PERMISSIONS   特権の昇給の使用

SV.USAGERULES.PERMISSIONS   特権の昇給の使用

SV.USAGERULES.PERMISSIONS   特権の昇給の使用

SV.USAGERULES.PERMISSIONS   特権の昇給の使用

BYTEORDER.HTON.SEND   ホストバイトオーダーからネットワークバイトオーダーの変換が欠落しています

BYTEORDER.HTON.WRITE   ホストバイトオーダーからネットワークバイトオーダーの変換が欠落しています

BYTEORDER.NTOH.READ   ネットワークバイトオーダーからホストバイトオーダーの変換が欠落しています

BYTEORDER.NTOH.RECV   ネットワークバイトオーダーからホストバイトオーダーの変換が欠落しています

BYTEORDER.HTON.SEND   ホストバイトオーダーからネットワークバイトオーダーの変換が欠落しています

BYTEORDER.HTON.WRITE   ホストバイトオーダーからネットワークバイトオーダーの変換が欠落しています

BYTEORDER.NTOH.READ   ネットワークバイトオーダーからホストバイトオーダーの変換が欠落しています

BYTEORDER.NTOH.RECV   ネットワークバイトオーダーからホストバイトオーダーの変換が欠落しています

MISRA.INCL.SIGNAL.2012   標準ヘッダーファイル signal.h は使用しない

MISRA.INCL.SIGNAL.2012   標準ヘッダーファイル signal.h は使用しない

CERT.POS.THREAD.ASYNC_CANCEL   非同期キャンセルが可能なスレッドを使用してはいけません

CERT.POS.THREAD.ASYNC_CANCEL   非同期キャンセルが可能なスレッドを使用してはいけません

CONC.DL   デッドロック

CONC.NO_UNLOCK   変数のロック解除の欠落

CONC.DL   デッドロック

CONC.NO_UNLOCK   変数のロック解除の欠落

CONC.SLEEP   クリティカルセクションで関数がブロックされる可能性があります

CONC.SLEEP   クリティカルセクションで関数がブロックされる可能性があります

SV.RVT.RETVAL_NOTTESTED   戻り値の無視

SV.RVT.RETVAL_NOTTESTED   戻り値の無視

MISRA.DEFINE.SHARP   マクロ定義に # 演算子または ## 演算子が使用されています

MISRA.DEFINE.SHARP   マクロ定義に # 演算子または ## 演算子が使用されています

PORTING.VAR.EFFECTS   ある使用法が副次的な影響を受ける式で変数が 2 回使用されています

PORTING.VAR.EFFECTS   ある使用法が副次的な影響を受ける式で変数が 2 回使用されています

MISRA.EXPANSION.DIRECTIVE   マクロの引数内にディレクティブのようなトークンがあります

MISRA.EXPANSION.DIRECTIVE   マクロの引数内にディレクティブのようなトークンがあります

CERT.SIG.SIG_HANDLER.ASYNC_SAFE   シグナルハンドラー内では非同期セーフな関数のみを呼び出す

CERT.SIG.SIG_HANDLER.ASYNC_SAFE   シグナルハンドラー内では非同期セーフな関数のみを呼び出す

MISRA.STDLIB.SIGNAL   signal.h の信号処理装置の使用

MISRA.STDLIB.SIGNAL   signal.h の信号処理装置の使用

CERT.STDLIB.SIGNAL   計算例外シグナルハンドラーから戻らない

CERT.STDLIB.SIGNAL   計算例外シグナルハンドラーから戻らない

CERT.STR.ARG.CONST_TO_NONCONST   const char ポインターを非 const char ポインター引数に渡さないでください

CERT.STR.ASSIGN.CONST_TO_NONCONST   const char ポインターを非 const char ポインターに割り当てないでください

CERT.STR.ARG.CONST_TO_NONCONST   const char ポインターを非 const char ポインター引数に渡さないでください

CERT.STR.ASSIGN.CONST_TO_NONCONST   const char ポインターを非 const char ポインターに割り当てないでください

SV.FMT_STR.BAD_SCAN_FORMAT   入力書式指定子エラー

SV.UNBOUND_STRING_INPUT.FUNC   バインドされていない文字列入力の使用法

SV.FMT_STR.BAD_SCAN_FORMAT   入力書式指定子エラー

SV.UNBOUND_STRING_INPUT.FUNC   バインドされていない文字列入力の使用法

NNTS.MIGHT   バッファオーバーフロー - 非 NULL 終了文字列

NNTS.MUST   バッファオーバーフロー - 非 NULL 終了文字列

SV.STRBO.BOUND_COPY.UNTERM   次の文字列演算でバッファオーバーフローの可能性があります

NNTS.MIGHT   バッファオーバーフロー - 非 NULL 終了文字列

NNTS.MUST   バッファオーバーフロー - 非 NULL 終了文字列

SV.STRBO.BOUND_COPY.UNTERM   次の文字列演算でバッファオーバーフローの可能性があります

CXX.CAST.SIGNED_CHAR_TO_INTEGER   より大きな整数サイズに変換する前に char を unsigned char にキャストします

CXX.CAST.SIGNED_CHAR_TO_INTEGER   より大きな整数サイズに変換する前に char を unsigned char にキャストします

AUTOSAR.STDLIB.CCTYPE.UCHAR   <cctype> で定義される文字処理関数の引数は、unsigned char として表現できなければなりません

MISRA.ETYPE.ASSIGN.2012   より狭い基本タイプ、または、異なる基本タイプカテゴリーのオブジェクトへの割り当て

AUTOSAR.STDLIB.CCTYPE.UCHAR   <cctype> で定義される文字処理関数の引数は、unsigned char として表現できなければなりません

MISRA.ETYPE.ASSIGN.2012   より狭い基本タイプ、または、異なる基本タイプカテゴリーのオブジェクトへの割り当て

CXX.DIFF.WIDTH.STR_AND_FUNC   関数の呼び出し時にナロー文字列とワイド文字列の間で暗黙のキャストが行われます

CXX.DIFF.WIDTH.STR_AND_FUNC   関数の呼び出し時にナロー文字列とワイド文字列の間で暗黙のキャストが行われます

FMM.MIGHT   メモリの解放の不一致の可能性

FMM.MUST   メモリの解放の不一致

FMM.MIGHT   メモリの解放の不一致の可能性

FMM.MUST   メモリの解放の不一致