Klocwork Quality Standard mapped to Klocwork C and C++ checkers

Category Checker name
Attempt to Use Memory after Free

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

Buffer Overflow

ABV.GENERAL

ABV.GENERAL.MULTIDIMENSION

ABV.ITERATOR

ABV.MEMBER

ABV.NON_ARRAY

ABV.STACK

ABV.TAINTED

ABV.UNKNOWN_SIZE

CXX.SUSPICIOUS_INDEX_CHECK

CXX.SUSPICIOUS_INDEX_CHECK.CALL

CXX.SUSPICIOUS_INDEX_CHECK.ZERO

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++ Warnings

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

Concurrency

CONC.NO_UNLOCK

CONC.SLEEP

Improper Memory Deallocation

CL.FMM

FMM.MIGHT

FMM.MUST

FNH.MIGHT

FNH.MUST

FUM.GEN.MIGHT

FUM.GEN.MUST

Inappropriate Iterator Usage

ITER.CONTAINER.MODIFIED

ITER.END.DEREF.MIGHT

ITER.END.DEREF.MUST

ITER.INAPPROPRIATE

ITER.INAPPROPRIATE.MULTIPLE

Memory Leaks

CL.MLK

CL.MLK.ASSIGN

CL.MLK.VIRTUAL

MLK.MIGHT

MLK.MUST

MLK.RET.MUST

Mismatched Return Types

CL.ASSIGN.NON_CONST_ARG

CL.ASSIGN.RETURN_CONST

CL.ASSIGN.VOID

FUNCRET.GEN

FUNCRET.IMPLICIT

RETVOID.GEN

RETVOID.IMPLICIT

VOIDRET

Null Pointer Dereference

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

Parse warning defects

CWARN.BOOLOP.INC

CWARN.RET.MAIN

CWARN.SIGNEDBIT

Print functions format

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

Resource Handling Issues

RH.LEAK

Scan functions format

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

Suspicious Code Practices

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

Use of Uninitialized Data

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

Potential Copy-Paste Errors

CXX.POSSIBLE_COPY_PASTE.FSTRING.APPEND_SAME_STRING

CXX.POSSIBLE_COPY_PASTE.LOGICAL_OP.CMP_SAME_OBJECT

CXX.POSSIBLE_COPY_PASTE.TERNARY_OP