Klocwork の認証対象チェッカーにマッピングされた MISRA C++:2008 規則

UNREACH.ENUM   enum が取りうる値が原因で、コードは到達不能になっています

UNREACH.GEN   到達不能コード

UNREACH.RETURN   到達不能な void return文

UNREACH.SIZEOF   アーキテクチャに関連した到達不能コード

INVARIANT_CONDITION.GEN   不変な条件式

INVARIANT_CONDITION.UNREACH   不変な条件式

VA_UNUSED.GEN   値を割り当て後に使用しません

VA_UNUSED.INIT   値を初期化後に使用しません

MISRA.FUNC.UNUSEDRET   非 void 関数の戻り値が使用されていません

LV_UNUSED.GEN   ローカル変数は使用されません

MISRA.FUNC.UNUSEDPAR   非仮想関数の仮引数が使用されていません

UNUSED.FUNC.GEN   関数を定義していますが、使用していません

MISRA.DECL.MANY_DCLS   1 つの宣言に複数の宣言子があります

MISRA.CONST.RET.NON_CONST   定数のメンバー関数が非定数のポインタをメンバー変数に返しています

MISRA.PPARAM.NEEDS.CONST   ポインタパラメーターを使用しないでアドレスされたオブジェクトを変更していますが、const を指すポインタとして宣言されていません

MISRA.RET.REF.NON_CONST   メンバー関数が非定数のハンドルをメンバー変数に返しています

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

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

AUTOSAR.ASM   asm 宣言は使用してはなりません

AUTOSAR.ARRAY.CSTYLE   C スタイルの配列は使用してはなりません

MISRA.PTR.TO_PTR_TO_PTR   ポインタ宣言に 2 つ以上のレベルの間接指定があります

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

MISRA.ENUM.IMPLICIT.VAL.NON_UNIQUE.2012   暗黙的列挙子値は一意ではありません

MISRA.BITFIELD.SIGNED   名前付きの符号付きビットフィールドの長さが 2 未満です

MISRA.UNION   和集合が使用されています

MISRA.DERIVE.VIRTUAL   クラスが仮想基本クラスから派生しています

MISRA.BASE.VIRTUAL.NOTVIRTUAL   基本クラスが継承階層で仮想および非仮想の両方で使用されています

AUTOSAR.MEMB.VIRTUAL.SPEC   仮想関数宣言には 3 つの指定子 (1) virtual、(2) override、(3) final の内の 1 つのみが含まれていなければなりません

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

AUTOSAR.VIRTUAL.PTR_COMPARE   メンバー仮想関数を指すポインターのテストは、null ポインター定数との等価を確認する目的でのみ行う必要があります

MISRA.CTOR.DYNAMIC   オブジェクトの動的タイプがそのコンストラクタのボディから使用されています

MISRA.DTOR.DYNAMIC   オブジェクトの動的タイプがそのデストラクタのボディから使用されています

MISRA.CTOR.BASE   コンストラクタがその基本クラスのコンストラクタを明示的に呼び出していません

MISRA.CTOR.NOT_EXPLICIT   組み込み型の引数を持つコンストラクタが '明示的に' 宣言されていません

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

MISRA.UN_OP.OVERLOAD   単項の & 演算子が多重定義されています

MISRA.FUNC.SPEC.OVRLD   関数呼び出し用の実行可能関数に多重定義されたテンプレートとその明示的な特殊化が含まれています

MISRA.THROW.PTR   例外オブジェクトがポインタになっています

MISRA.THROW.EMPTY   空のスロー式が catch ブロックに属していません

MISRA.CATCH.ALL   try-catch ブロックに省略記号例外ハンドラーがありません

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

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

AUTOSAR.EXCPT.NOEXCPT_THROW   関数を noexcept、noexcept(true)、または noexcept(<true condition>) と宣言する場合、その関数は例外を送出して終了してはなりません

MISRA.TERMINATE   terminate() 関数が明示的に呼び出されています

MISRA.USE.UNKNOWNDIR   不明なプリプロセッサディレクティブが使用されています

MISRA.DEFINE.FUNC   マクロが関数のように定義されています

MISRA.INCL.INSIDE   include ディレクティブの前にプリプロセッサ出力トークンがあります

MISRA.ELIF.DEFINED   #elif ディレクティブで不正な 'defined' が使用されています

MISRA.IF.DEFINED   #if ディレクティブで不正な 'defined' が使用されています

MISRA.ELIF.OTHERFILE   不適切なファイルでの #elif

MISRA.ELSE.OTHERFILE   不適切なファイルでの #else

MISRA.ENDIF.OTHERFILE   不適切なファイルでの #endif

MISRA.ELIF.UNDEF   #elif ディレクティブでマクロが定義されていません

MISRA.IF.UNDEF   #if ディレクティブでマクロが定義されていません

MISRA.INCGUARD   インクルードガードが入力されていません

MISRA.INCL.BAD   非標準の include ディレクティブです

MISRA.INCL.SYMS   ヘッダーファイル名に非標準文字が使用されています

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

MISRA.DEFINE.SHARP.ORDER.2012   複数の '#' または '##' の評価の順番が指定されていません

MISRA.DEFINE.SHARP.REPLACE.2012   それ自身さらなるマクロ置換の影響を受ける、'#' または '##' 演算子のオペランドとして使用されるマクロパラメーターは、これらの演算子のオペランドとしてのみ使用される。

MISRA.DEFINE.NOPARS   マクロパラメーターに括弧がありません

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

MISRA.PRAGMA.ASM   不正なアセンブラ命令です

PORTING.PRAGMA.ALIGN   #pragma align の使用法

PORTING.PRAGMA.PACK   #pragma pack の使用法

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

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

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

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

MISRA.STDLIB.CSTRING   'cstring' ライブラリからの関数が使用されています

MISRA.STDLIB.SYSTEM.2012_AMD2   ライブラリ stdlib.h からの 'system' の使用

MISRA.STDLIB.MEMORY   動的ヒープメモリ割り当ての使用

MISRA.STDLIB.MEMORY   動的ヒープメモリ割り当ての使用

AUTOSAR.OP.DELETE.MISSING_VERSION   プロジェクトにサイズ指定付きまたはサイズ指定なしの演算子 "delete" がグローバルに定義されている場合は、サイズ指定付きとサイズ指定なしの両方を定義する必要があります

CERT.EXPR.DELETE_PTR.INCOMPLETE_TYPE   不完全な型へのポインターを削除しないでください

AUTOSAR.SETLOCALE   ライブラリ <clocale> (locale.h) と setlocale 関数は使用してはなりません

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

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

AUTOSAR.VECTOR.BOOL   std::vector<bool> の特殊化は使用してはなりません

AUTOSAR.STDLIB.MOVE.CONST   const または const& と宣言されたオブジェクトで std::move を使用してはなりません

AUTOSAR.FORWARD   他の関数への値の転送は、(1) std::move (値が r 値参照の場合) か (2) std::forward (値が前方参照の場合) を使用して行う必要があります

MISRA.STDLIB.STDIO   プロダクションコードで入力/出力ライブラリ stdio.h が使用されています

MISRA.TOKEN.OCTAL.ESCAPE   8 進数のエスケープ文字列の使用

MISRA.TOKEN.OCTAL.INT   8 進数の整数定数を使用しています

MISRA.ADDR.REF.PARAM   関数が参照渡しパラメーターへの参照を返しています

MISRA.ADDR.REF.PARAM.PTR   関数が参照渡しパラメーターのアドレスを返しています

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

MISRA.DECL.EXCPT.SPEC   異なる例外指定で関数が宣言されています

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

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

MISRA.INCL.UNSAFE   安全でないヘッダーのインクルード

MISRA.SPEC.SAMEFILE   テンプレート特殊化とその基本テンプレートが別々のファイルで宣言されています

MISRA.STDLIB.CSTRING.MACRO   'cstring' ライブラリからのマクロが使用されています

MISRA.TOKEN.WRONGESC   リテラルに不正なエスケープ文字列があります

MISRA.CHAR.TRIGRAPH   3 文字表記の使用

MISRA.TOKEN.OCTAL.INT   8 進数の整数定数を使用しています

MISRA.LITERAL.UNSIGNED.SUFFIX   'U' 添え字の付かない符号なし整数リテラルです

MISRA.STRINGS.CONCAT   狭い文字列リテラルと広い文字列リテラルが連結されています

MISRA.TOKEN.BADCOM   コメントに不適切な文字列があります

MISRA.DECL.FUNC_LOCAL   関数がローカルで宣言されています

MISRA.DECL.ARRAY_SIZE   配列の宣言でサイズが不明です

MISRA.NS.GLOBAL   グローバル名前空間で関数、変数、または型が宣言されています

MISRA.NS.GLOBAL.USING   グローバル名前空間でのディレクティブまたは宣言の使用

MISRA.NS.MAIN   'main' の名前の付いた非グローバル関数が定義されています

MISRA.OBJ.TYPE.COMPAT   型がその他の宣言の型と互換性がありません

MISRA.ONEDEFRULE.FUNC   ヘッダーファイルでグローバル関数が定義されています

MISRA.ONEDEFRULE.VAR   ヘッダーファイルでグローバル変数が定義されています

MISRA.VAR.HIDDEN   内部のスコープで宣言された識別子によって外部のスコープの識別子が非表示になっています

MISRA.BASE.IDS.UNIQUE   継承階層でメンバー名が 2 回使用されています

MISRA.TEMPLMEM.NOQUAL   インスタンス化されたテンプレートで、依存基本クラスで宣言されたメンバーが修飾子または 'this' なしで使用されています

MISRA.LINKAGE.EXTERN   外部リンクを持つオブジェクトまたは関数の宣言がヘッダーファイルにありません

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

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

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

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

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

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

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

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

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

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

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

MISRA.OBJ.TYPE.IDENT   型がその他の宣言の型と一致していません

MISRA.BUILTIN_NUMERIC   組み込み数値型が使用されています

CXX.BITOP.BOOL_OPERAND   潜在的な論理エラー: ブール式をビット演算子の引数として直接使用してはなりません。代わりに論理演算子の使用を検討してください。

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

PORTING.CMPSPEC.TYPE.BOOL   'bool' 型への割り当てが 1 バイトより大きくなっています

MISRA.CHAR.NOT_CHARACTER   文字でない値に 'char' が使用されています

MISRA.BITS.NOT_UNSIGNED   ビット演算のオペランドが符号なし整数ではありません

MISRA.BITS.NOT_UNSIGNED.PREP   ビット演算のオペランドが符号なし整数ではありません

MISRA.BITS.OPERAND   ビット演算のオペランドが別の基底型を持っています

MISRA.SHIFT.RANGE   シフト演算子の右側のオペランドは範囲外 (左側のオペランドの最大ビット長以上か、または負) です

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

MISRA.CAST.INT.SIGN   自明ではない複合式が別の符号を持つ型にキャストされています

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

MISRA.CONV.INT.SIGN   暗黙的な整数変換により符号が変わります

MISRA.CHAR.OPERAND   型 'char' または 'wchar_t' の式が文字以外のオペランドで使用されています

MISRA.ENUM.OPERAND   列挙型の式が代数コンテキストで使用されています

MISRA.LITERAL.NULL.INT   NULL が整数値として使用されています

MISRA.LITERAL.NULL.PTR   リテラルのゼロが NULLポインタ定数として使用されています

MISRA.FUNC.ARRAY.PARAMS   配列タイプの関数引数がポインタに減退しています

MISRA.CAST.FUNC_PTR.CPP   キャストにより関数ポインタがその他のポインタ型に変換されます

MISRA.CAST.INT_TO_PTR   整数型または void を指すポインタを持つオブジェクトがポインタ型にキャストされています

MISRA.CAST.PTR.UNRELATED   ポインタ型のオブジェクトを関連のない型にキャストしています

MISRA.DEFINE.NOPARS   マクロパラメーターに括弧がありません

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

MISRA.LOGIC.POSTFIX   論理 'and' 式または論理 'or' 式のオペランドが後置式ではありません

AUTOSAR.LAMBDA.IMPLICIT_CAPTURE   変数はラムダ式で暗黙的にキャプチャしてはなりません

MISRA.LOGIC.SIDEEFF   論理 'and' 式または論理 'or' 式の右側のオペランドは副作用があります

MISRA.ASSIGN.OVERLAP   オブジェクトがオーバーラップするオブジェクトに割り当てられています

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

MISRA.ASSIGN.SUBEXPR   代入演算子は条件外の部分式に使用されています

MISRA.COMMA   カンマ演算子が使用されています

MISRA.CAST.PTR.VRCLASS   仮想基本クラスを指すポインタから派生クラスを指すポインタへのキャストにおいて、'dynamic_cast' を用いていません

MISRA.FUNC.RECUR   再帰関数

MISRA.C_CAST   非 void タイプへの C スタイルのキャストです

MISRA.FUNC_CAST   関数表記が明示的なコンストラクタ呼び出しとは異なるものにキャストされています

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

MISRA.CAST.FUNC_PTR.CPP   キャストにより関数ポインタがその他のポインタ型に変換されます

AUTOSAR.CAST.REINTERPRET   reinterpret_cast は使用してはなりません

MISRA.CAST.INT_TO_PTR   整数型または void を指すポインタを持つオブジェクトがポインタ型にキャストされています

MISRA.CAST.PTR_TO_INT   ポインタと整数型間のキャスト

MISRA.COMP.WRAPAROUND   条件内でラップアラウンドしています

MISRA.ELIF.WRAPAROUND   #elif ディレクティブでラップアラウンドします

MISRA.IF.WRAPAROUND   #if ディレクティブでラップアラウンドします

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

MISRA.UMINUS.UNSIGNED   単項マイナス演算子が符号なしオペランドに対して使用されています。

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

MISRA.PTR.ARITH.NOT_SAME.2008   ポインターオペランドの計算から得られるポインターは、そのポインターオペランドと同じ配列の要素をアドレス指定します

MISRA.PTR.SUB   ポインターの減算は、同じ配列を指している場合にのみ適用されます

MISRA.PTR.SUB.OBJECT   ポインターの減算は、同じオブジェクトを指している場合にのみ適用されます

MISRA.PTR.CMP.2008   比較演算子を使用したポインターの比較は、同じ配列を指していて、範囲内にある場合にのみ適用されます

MISRA.PTR.CMP.OBJECT.2008   比較演算子を使用したポインターの比較は、同じオブジェクトを指しており、範囲内である場合にのみ適用されます

MISRA.IF.NO_COMPOUND   if/else ステートメントのボディが複合ステートメントではありません

MISRA.STMT.NO_COMPOUND   switch、while、do/while または for ステートメントのボディが複合ステートメントではありません

MISRA.IF.NO_ELSE   if/else-if ステートメントのチェインが else で終了していないか、または空の else 句で終了しています

MISRA.SWITCH.BOOL   switch ステートメントの条件がブール式です

MISRA.SWITCH.LABEL   switch のラベルが switch ボディ内の入れ子複合ステートメント内に置かれています

MISRA.SWITCH.NOT_WELL_FORMED   switch ステートメントの形式が不適切です

MISRA.SWITCH.NO_CASE   switch ステートメントに case 句がありません

MISRA.FOR.COND.CHANGE   for ループのカウンターがループ条件セクション内で変更されています

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

MISRA.FOR.COUNTER.MANY   for ループのカウンターが多すぎます

MISRA.FOR.INCR   for ループのカウンターが不適切な方法で変更されています

MISRA.FOR.STMT.CHANGE   for ループのカウンターがループステートメント内で変更されています

AUTOSAR.GOTO   goto ステートメントは使用してはなりません

MISRA.GOTO.NESTED   入れ子複合ステートメント内で宣言されたラベルに goto しています

MISRA.GOTO.AFTER.LABEL   goto が制約なしで使用されています

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

RETVOID.GEN   非 void 関数が void 値を返しています

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - 静的に検証できません

未サポート - サポートの予定は現在ありません

未サポート - 静的に検証できません

未サポート - 静的に検証できません

未サポート - 静的に検証できません

未サポート - サポートの予定は現在ありません

未サポート - 静的に検証できません

未サポート - 静的に検証できません

未サポート - 静的に検証できません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - 静的に検証できません

未サポート - サポートの予定は現在ありません

未サポート - 静的に検証できません

未サポート - 静的に検証できません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - 静的に検証できません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - サポートの予定は現在ありません

未サポート - 静的に検証できません