View Source

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

Version number:
v5.0

C++ checkers	Rule
ABR	ARR30-CPP. Guarantee that array and vector indices are within the valid range
ABV.TAINTED	ARR30-CPP. Guarantee that array and vector indices are within the valid range
ASSIGCOND.CALL	EXP19-CPP. Do not perform assignments in conditional expressions
ASSIGCOND.GEN	EXP19-CPP. Do not perform assignments in conditional expressions
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	DCL01-CPP. Do not reuse variable names in subscopes
IF_MULTI_KIND	DCL01-CPP. Do not reuse variable names in subscopes
INC.EXTRA	MSC12-CPP. Detect and remove code that has no effect
SV.RVT.RETVAL_NOTTESTED	EXP12-CPP. Do not ignore values returned by functions or methods
SV.TAINTED.INDEX_ACCESS	ARR30-CPP. Guarantee that array and vector indices are within the valid range