Page History

Generated Content

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

Version number:
v7.5.0

was automatically generated and should not be edited.

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

Tip
The table below can be re-ordered, by clicking column headers.

...

Include Page

	Coverity_V
	Coverity_V

EXP31-CPP. Avoid side effects in assertions

Checker	Guideline
C++ checkers	Rule
	ARR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array
ASSERT_SIDE_EFFECT
CHECKED_RETURN	EXP12 MEM52-CPP. Do not ignore values returned by functions or methodsDetect and handle memory allocation errors
DEADLOCK	CON53-CPP. Avoid deadlock by locking in a predefined order	CTOR_DTOR_LEAK	MEM33-CPP. Ensure that aborted constructors do not leak
DELETE_VOID	EXP39 EXP57-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 EXP50-CPP. Do not depend on the 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
for side effects
RACE_CONDITION	CON52-CPP. Prevent data races when accessing bit-fields from multiple threads
USE_AFTER_FREE	MEM50-CPP. Do not access freed memory	WRAPPER_ESCAPE	STR33-CPP. Do not access invalid output of c_str() or data()

Space shortcuts

Page tree

Versions Compared

Old Version 24

New Version Current

Key