Klocwork および Klocwork community チェッカーにマッピングされた Automotive Development 向け Hyundai-Kia Motor Corp (HKMC) セキュア C++ コーディング基準

CERT.CONC.MUTEX.DESTROY_WHILE_LOCKED   ロックされている間はミューテックスを破棄しないでください

CONC.DL   デッドロック

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

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

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

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

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

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

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

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

SV.TAINTED.CALL.INDEX_ACCESS   関数呼び出し時の配列インデックスとしての未検証の整数の使用

SV.TAINTED.CALL.LOOP_BOUND   関数呼び出しのループ条件での未検証の整数の使用

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

ITER.CONTAINER.MODIFIED   無効な反復子の使用

CXX.ITER.END.BEGIN   範囲の終わりを表す反復子が範囲の始まりの前にあります

ITER.INAPPROPRIATE   コンテナーオブジェクトが不適切な反復子の使用

ITER.INAPPROPRIATE.MULTIPLE   コンテナーオブジェクトが不適切な反復子の使用

MISRA.FUNC.VARARG   関数が可変数の引数を持っています

MISRA.DEFINE.WRONGNAME   標準ライブラリからの名前がマクロ名に使用されています

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

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

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

MISRA.UNDEF.WRONGNAME   標準ライブラリからの名前が定義されていません

MISRA.UNDEF.WRONGNAME.UNDERSCORE   予約名が定義されていません

CERT.DCL.REF_TYPE.CONST_OR_VOLATILE   参照型を const または volatile で修飾しないでください

CERT.DCL.AMBIGUOUS_DECL   構文的に曖昧な宣言を作成しないでください

CERT.DCL.SAME_SCOPE_ALLOC_DEALLOC   同一のスコープ内のペアとしての割り当ておよび割り当て解除関数をオーバーロードします

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

CXX.STATIC.OBJ.RECURSION   静的オブジェクトの初期化中に関数を再入力しないでください

MISRA.DTOR.THROW   デストラクタにスローします

CERT.DCL.STD_NS_MODIFIED   標準名前空間を変更しないでください

MISRA.NAMESPACE.UNMD   ヘッダーファイルに名前のない名前空間があります

AUTOSAR.ADD.ONEDEFRULE.FUNC   関数が一定義規則に違反しています

AUTOSAR.ADD.ONEDEFRULE.VAR   変数が一定義規則に違反しています

MISRA.CT.UNIQUE.ID   識別子がタグ名と不整合です

MISRA.TYPE.NAMECLASH.CPP.2008   ある名前空間の識別子が他の名前空間の識別子と同じスペルです

MISRA.TYPEDEF.NOT_UNIQUE   Typedef 名がその他のエンティティ用に使用されています

CERT.ERR.ABRUPT_TERM   突然プログラムを終了しないでください

MISRA.STDLIB.LONGJMP   setjmp マクロまたは longjmp 関数の使用

MISRA.CTOR.TRY.NON_STATIC   コンストラクタまたはデストラクタの関数 try-catch ブロックが非スタティックなメンバーを参照しています

MISRA.CATCH.NOALL   省略記号例外ハンドラーが try-catch ブロックの最後に置かれていません

MISRA.CATCH.WRONGORD   try-catch ブロックで基本例外クラスのハンドラーが派生例外クラスのハンドラーよりも先に置かれています

CL.MLK   メモリリーク - デストラクタで発生

MLK.MIGHT   メモリリークの可能性

MLK.MUST   メモリリーク

MLK.RET.MIGHT   メモリリークの可能性

MLK.RET.MUST   メモリリーク

RH.LEAK   リソースリーク

MISRA.CATCH.BY_VALUE   クラス タイプの例外オブジェクトが値によってキャッチされています

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

CERT.EXPR.PARENS   式内の演算子の優先度は明示的にする必要があります。

MISRA.EXPR.PARENS.INSUFFICIENT   式の演算子優先規則に制限された依存性が必要です

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

MISRA.INCR_DECR.SIDEEFF.2012   インクリメント (++) またはデクリメント (--) 演算子を含む完全な式では、インクリメントまたはデクリメント演算子によって生じる以外に他の副作用が存在してはなりません

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

CERT.EXPR.DELETE_ARR.BASE_PTR   不正な型のポインターを使用して配列を削除しないでください

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

UNINIT.CTOR.MIGHT   コンストラクタにおける未初期化の変数の可能性

UNINIT.CTOR.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   未初期化の変数

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

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

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

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

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

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

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

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

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

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

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

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

UFM.USE.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   未初期化の変数

MISRA.CAST.CONST   キャスト演算により const または volatile がポインターまたは参照から除外されます。

CERT.VA_START.TYPE   正しい型のオブジェクトを va_start に渡す

CERT.MEMCMP.PADDED_DATA   パディングデータを比較しないでください

RH.LEAK   リソースリーク

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.FMM   メモリの解放の不一致 - デストラクタで発生

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

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

MLK.MIGHT   メモリリークの可能性

MLK.MUST   メモリリーク

MLK.RET.MIGHT   メモリリークの可能性

MLK.RET.MUST   メモリリーク

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

AUTOSAR.STDLIB.RANDOM.NBR_GEN_DEFAULT_INIT   乱数エンジンをデフォルトで初期化してはなりません

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

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

CERT.MSC.NORETURN_FUNC_RETURNS   [[noreturn]] と宣言された関数から返さないでください

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

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

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

CERT.OOP.CTOR.VIRTUAL_FUNC   コンストラクタまたは、デストラクタから仮想関数を呼出してはならない

CL.MLK.VIRTUAL   メモリリーク - デストラクタで発生している可能性

CWARN.DTOR.NONVIRT.DELETE   仮想メソッドを持ち、仮想デストラクタを持たないクラスのオブジェクトの式を削除しています

CERT.OOP.CTOR.INIT_ORDER   コンストラクターメンバー初期化子を正規の順序で作成します

CL.SELF-ASSIGN   解放済みメモリの使用 (二重解放) - operator=

CERT.OOP.PTR_MEMBER.NO_MEMBER   メンバー演算子へのポインターを使用して、存在しないメンバーにアクセスしないでください

CERT.OOP.CSTD_FUNC_USE   C 標準ライブラリ関数よりも特殊メンバー関数とオーバーロードされた演算子を優先します

CERT.OOP.COPY_MUTATES   コピー操作でソースオブジェクトを変更してはいけません

CXX.STATIC.OBJ.FINAL   初期化されたパブリック静的フィールドは最終としてマークされていません

CXX.MEMBER.IMPORTANT.PRIVATE   重要なメンバーデータはプライベートにすべきです

CXX.MEMBER.CRITICAL.PUBLIC.METHOD   重大なプライベートメンバーデータは、パブリックメソッドによって直接書き込み可能であってはなりません

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

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

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

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

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

ITER.CONTAINER.MODIFIED   無効な反復子の使用