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

Version number:
5.0

Checker

Guideline

ABRARR30-CPP. Guarantee that array and vector indices are within the valid range
ABV.TAINTEDARR30-CPP. Guarantee that array and vector indices are within the valid range
ASSIGCOND.CALLEXP19-CPP. Do not perform assignments in conditional expressions
ASSIGCOND.GENEXP19-CPP. Do not perform assignments in conditional expressions
IF_DEF_IN_HEADER_DECLDCL36-CPP. Do not declare an identifier with conflicting linkage classifications
IF_DUPL_HEADERPRE08-CPP. Guarantee that header file names are unique
IF_MULTI_DECLDCL01-CPP. Do not reuse variable names in subscopes
IF_MULTI_DECLDCL36-CPP. Do not declare an identifier with conflicting linkage classifications
IF_MULTI_DEFDCL01-CPP. Do not reuse variable names in subscopes
IF_MULTI_KINDDCL01-CPP. Do not reuse variable names in subscopes
INC.EXTRAMSC12-CPP. Detect and remove code that has no effect
LOCRET.*DCL30-CPP. Declare objects with appropriate storage durations
PRECISION.LOSSINT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data
SV.FMTSTR.GENERICFIO30-CPP. Exclude user input from format strings
SV.RVT.RETVAL_NOTTESTEDEXP12-CPP. Do not ignore values returned by functions or methods
SV.TAINTED.FMTSTRFIO30-CPP. Exclude user input from format strings
SV.TAINTED.INDEX_ACCESSARR30-CPP. Guarantee that array and vector indices are within the valid range