Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Info
titleGenerated Content

This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.

...

was automatically generated and should not be edited.

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

Include Page
cplusplus:

...

Klocwork_V
cplusplus:Klocwork_V
EXP19-CPP. Do not perform assignments in conditional expressions

Checker

Guideline

ASSIGCOND.BOOLMSC02-CPP. Avoid errors of omission
ASSIGCOND.CALLEXP19-CPP. Do not perform assignments in conditional expressions
ASSIGCOND.CALLMSC02-CPP. Avoid errors of omission
ASSIGCOND.GEN

ASSIGCOND.GENMSC02-CPP. Avoid errors of omission
CL.MLK.VIRTUAL OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
EFFECTMSC02-CPP. Avoid errors of omission
IF_DUPL_HEADERPRE08-CPP. Guarantee that header file names are unique
IF_MULTI_DECLDCL01-CPP. Do not reuse variable names in subscopes
IF_MULTI_DEFDCL01-CPP. Do not reuse variable names in subscopes
IF_MULTI_KINDDCL01-CPP. Do not reuse variable names in subscopes
IF_ONLY_DECLMSC13-CPP. Detect and remove unused values
IF_ONLY_DEFMSC13-CPP. Detect and remove unused values
IF_ONLY_LOCALMSC13-CPP. Detect and remove unused values
INC.EXTRAMSC12-CPP. Detect and remove code that has no effect
INCORRECT.ALLOC_SIZEEXP01-CPP. Do not take the size of a pointer to determine the size of the pointed-to type
LA_UNUSEDMSC01-CPP. Strive for logical completeness
LV_UNUSED.DEADMSC07-CPP. Detect and remove dead code
LV_UNUSED.GENMSC13-CPP. Detect and remove unused values
NNTSSTR03-CPP. Do not inadvertently truncate a null-terminated character array
NNTS.TAINTEDSTR02-CPP. Sanitize data passed to complex subsystems
PA_UNUSED.DEADMSC07-CPP. Detect and remove dead code
PA_UNUSED.GENMSC13-CPP. Detect and remove unused values
SEMICOLMSC03-CPP. Avoid errors of addition
SV.CODE_INJECTION.SHELL_EXECENV02-CPP. Do not call system() if you do not need a command processor
SV.CUDS.MISSING_ABSOLUTE_PATHFIO02-CPP. Canonicalize path names originating from untrusted sources
SV.RVT.RETVAL_NOTTESTEDEXP12-CPP. Do not ignore values returned by functions or methods
SV.TAINTED.INJECTIONENV02-CPP. Do not call system() if you do not need a command processor
SV.TAINTED.INJECTIONSTR02-CPP. Sanitize data passed to complex subsystems
SV.TOCTOU.FILE_ACCESSFIO01-CPP. Be careful using functions that use file names for identification
UFM.DEREF.MIGHT MEM50-CPP. Do not access freed memory
UFM.DEREF.MUST MEM50-CPP. Do not access freed memory
UFM.PARAMPASS.MIGHT MEM50-CPP. Do not access freed memory
UFM.PARAMPASS.MUST MEM50-CPP. Do not access freed memory
UFM.RETURN.MIGHT MEM50-CPP. Do not access freed memory
UFM.RETURN.MUST MEM50-CPP. Do not access freed memory
UFM.USE.MIGHT MEM50-CPP. Do not access freed memory
UFM.USE.MUST MEM50-CPP. Do not access freed memory
UNREACH.BREAKMSC07-CPP. Detect and remove dead code
UNREACH.GENMSC07-CPP. Detect and remove dead code
UNREACH.RETURNMSC07-CPP. Detect and remove dead code
UNREACH.RETURN0MSC07-CPP. Detect and remove dead code
VA_UNUSED.GENMSC13-CPP. Detect and remove unused values
VA_UNUSED.INITMSC13-CPP. Detect and remove unused values
VA_UNUSED.INITCONSTMSC13-CPP. Detect and remove unused values

...