This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.
Version number: 5.0
C++ checkers
Rule
ABR
ARR30-CPP. Guarantee that array and vector indices are within the valid range
ABV.TAINTED
ASSIGCOND.CALL
EXP19-CPP. Do not perform assignments in conditional expressions
ASSIGCOND.GEN
IF_DEF_IN_HEADER_DECL
DCL36-CPP. Do not declare an identifier with conflicting linkage classifications
IF_DUPL_HEADER
PRE08-CPP. Guarantee that header file names are unique
IF_MULTI_DECL
DCL01-CPP. Do not reuse variable names in subscopes
IF_MULTI_DEF
IF_MULTI_KIND
INC.EXTRA
MSC12-CPP. Detect and remove code that has no effect
LOCRET.*
DCL30-CPP. Declare objects with appropriate storage durations
PRECISION.LOSS
INT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data
SV.FMTSTR.GENERIC
FIO30-CPP. Exclude user input from format strings
SV.RVT.RETVAL_NOTTESTED
EXP12-CPP. Do not ignore values returned by functions or methods
SV.TAINTED.FMTSTR
SV.TAINTED.INDEX_ACCESS