Klocwork C および C++ チェッカーにマッピングされた Klocwork 品質標準

カテゴリー Checker name
解放されたメモリの使用を試行

CL.FFM.ASSIGN

CL.FFM.COPY

CL.SELF-ASSIGN

CL.SHALLOW.ASSIGN

CL.SHALLOW.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

バッファオーバーフロー

ABV.GENERAL

ABV.GENERAL.MULTIDIMENSION

ABV.ITERATOR

ABV.MEMBER

ABV.STACK

ABV.TAINTED

ABV.UNKNOWN_SIZE

NNTS.MIGHT

NNTS.MUST

NNTS.TAINTED

RABV.CHECK

RN.INDEX

SV.FMT_STR.BAD_SCAN_FORMAT

SV.UNBOUND_STRING_INPUT.CIN

SV.UNBOUND_STRING_INPUT.FUNC

C/C++ の警告

CWARN.ALIGNMENT

CWARN.BITOP.SIZE

CWARN.DTOR.NONVIRT.DELETE

CWARN.DTOR.NONVIRT.NOTEMPTY

CWARN.MEM.NONPOD

CWARN.NOEFFECT.UCMP.GE

CWARN.NOEFFECT.UCMP.LT

CWARN.NULLCHECK.FUNCNAME

CWARN.OVERRIDE.CONST

並行性

CONC.NO_UNLOCK

CONC.SLEEP

不適切なメモリ割り当て解除

CL.FMM

FMM.MIGHT

FMM.MUST

FNH.MIGHT

FNH.MUST

FUM.GEN.MIGHT

FUM.GEN.MUST

不適切な反復子の使用

ITER.CONTAINER.MODIFIED

ITER.END.DEREF.MIGHT

ITER.END.DEREF.MUST

ITER.INAPPROPRIATE

ITER.INAPPROPRIATE.MULTIPLE

メモリーリーク

CL.MLK

CL.MLK.ASSIGN

CL.MLK.VIRTUAL

MLK.MIGHT

MLK.MUST

MLK.RET.MUST

戻り値の型の不一致

CL.ASSIGN.NON_CONST_ARG

CL.ASSIGN.RETURN_CONST

CL.ASSIGN.VOID

FUNCRET.GEN

FUNCRET.IMPLICIT

RETVOID.GEN

RETVOID.IMPLICIT

VOIDRET

null ポインター逆参照

NPD.CHECK.CALL.MIGHT

NPD.CHECK.CALL.MUST

NPD.CHECK.MIGHT

NPD.CHECK.MUST

NPD.FUNC.MIGHT

NPD.FUNC.MUST

NPD.GEN.CALL.MIGHT

NPD.GEN.CALL.MUST

NPD.GEN.MIGHT

NPD.GEN.MUST

RNPD.CALL

RNPD.DEREF

パース警告欠陥

CWARN.BOOLOP.INC

CWARN.RET.MAIN

CWARN.SIGNEDBIT

Print 関数の形式

SV.FMT_STR.PRINT_FORMAT_MISMATCH.BAD

SV.FMT_STR.PRINT_FORMAT_MISMATCH.UNDESIRED

SV.FMT_STR.PRINT_IMPROP_LENGTH

SV.FMT_STR.PRINT_PARAMS_WRONGNUM.FEW

SV.FMT_STR.PRINT_PARAMS_WRONGNUM.MANY

SV.FMT_STR.UNKWN_FORMAT

リソース処理の指摘

RH.LEAK

Scan 関数の形式

SV.FMT_STR.SCAN_FORMAT_MISMATCH.BAD

SV.FMT_STR.SCAN_FORMAT_MISMATCH.UNDESIRED

SV.FMT_STR.SCAN_IMPROP_LENGTH

SV.FMT_STR.SCAN_PARAMS_WRONGNUM.FEW

SV.FMT_STR.SCAN_PARAMS_WRONGNUM.MANY

SV.FMT_STR.UNKWN_FORMAT.SCAN

不審なコードプラクティス

INCONSISTENT.LABEL

INCORRECT.ALLOC_SIZE

CXX.BITOP.NON_CONST_OPERAND

CXX.LOGICAL_OP.NON_BOOL_CONSTANT

CXX.BITOP.BOOL_OPERAND

CXX.LOGICAL_OP.INT_OPERAND

初期化されていないデータの使用

UNINIT.CTOR.MIGHT

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

潜在的なコピーペーストエラー

CXX.POSSIBLE_COPY_PASTE.FSTRING.APPEND_SAME_STRING

CXX.POSSIBLE_COPY_PASTE.LOGICAL_OP.CMP_SAME_OBJECT

CXX.POSSIBLE_COPY_PASTE.TERNARY_OP