EN JP CN

Klocwork 品質標準と Klocwork C/C++ チェッカーのマッピング

Klocwork 品質標準と Klocwork C/C++ チェッカーのマッピング
ルール Klocwork チェッカー コードと説明
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

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

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

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

バッファオーバーフロー

ABV.GENERAL

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

メモリリーク

CL.MLK

CL.MLK.ASSIGN

CL.MLK.VIRTUAL

MLK.MIGHT

MLK.MUST

MLK.RET.MUST

リソース処理の指摘

RH.LEAK

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

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

同時実行

CONC.NO_UNLOCK

CONC.SLEEP

問題となる可能性があるコードプラクティス

INCONSISTENT.LABEL

INCORRECT.ALLOC_SIZE

戻り値の型の不一致

CL.ASSIGN.NON_CONST_ARG

CL.ASSIGN.RETURN_CONST

CL.ASSIGN.VOID

FUNCRET.GEN

FUNCRET.IMPLICIT

RETVOID.GEN

RETVOID.IMPLICIT

VOIDRET

文法上の警告の指摘

CWARN.BOOLOP.INC

CWARN.RET.MAIN

CWARN.SIGNEDBIT

未初期化のデータの使用

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

解放済みメモリの使用の可能性

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