Page History

Info

title	Generated Content

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

Version number:
v5 v7.5.0

C++ checkers	Rule
	ARR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array
ASSERT_SIDE_EFFECT	EXP31-CPP. Avoid side effects in assertions
CHECKED_RETURN	EXP12-CPP. Do not ignore values returned by functions or methods
CTOR_DTOR_LEAK	MEM33-CPP. Ensure that aborted constructors do not leak
DELETE_VOID	EXP39-CPP. Do not cast or delete pointers to incomplete classes
DIVIDE_BY_ZERO	INT33-CPP. Ensure that division and modulo operations do not result in divide-by-zero errors
EVALUATION_ORDER	EXP30-CPP. Do not depend on order of evaluation between sequence points
	FLP31-CPP. Do not call functions expecting real values with complex values
INTEGER_OVERFLOW	ARR30-CPP. Guarantee that array and vector indices are within the valid range
INTEGER_OVERFLOW	INT30-CPP. Ensure that unsigned integer operations do not wrap
LINKAGE_CONFLICT	DCL36-CPP. Do not declare an identifier with conflicting linkage classifications
MISRA_CAST	FLP34-CPP. Ensure that floating point conversions are within range of the new type
MISRA_CAST	INT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data
MISSING_BREAK	MSC18-CPP. Finish every set of statements associated with a case label with a break statement
NEGATIVE_RETURNS	INT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data
NO_EFFECT	MSC11-CPP. Incorporate diagnostic tests using assertions
RETURN_LOCAL	DCL30-CPP. Declare objects with appropriate storage durations
REVERSE_NEGATIVE	INT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data
TAINTED_STATIC	INT32-CPP. Ensure that operations on signed integers do not result in overflow
TAINTED_STRING_WARNING	FIO30-CPP. Exclude user input from format strings
UNUSED_VALUE	MSC12-CPP. Detect and remove code that has no effect
WRAPPER_ESCAPE	STR33-CPP. Do not access invalid output of c_str() or data()

Space shortcuts

Page tree

Versions Compared

Old Version 23

New Version 24

Key