Page History

Note

Info

title	Generated Content

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

...

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

Checker	Guideline		INT18-CPP. Evaluate integer expressions in a larger size before comparing or assigning to that size
ASSERT_SIDE_EFFECT	MSC11-CPP. Incorporate diagnostic tests using assertions
BAD_COMPARE	MSC02-CPP. Avoid errors of omission
CHECKED_RETURN	MEM52-CPP. Detect and handle memory allocation errors
CHECKED_RETURN	EXP12-CPP. Do not ignore values returned by functions or methods
CHECKED_RETURN	FIO04-CPP. Detect and handle input and output errors DEADCODE	MSC07-CPP. Detect and remove dead code
DEADLOCK	CON53-CPP. Avoid deadlock by locking in a predefined order
DELETE_VOID	EXP57-CPP. Do not cast or delete pointers to incomplete classes
EVALUATION_ORDER	EXP50-CPP. Do not depend on the order of evaluation for side effects
Implemented	CTR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array
MISSING_BREAK	MSC18-CPP. Finish every set of statements associated with a case label with a break statement
NO_EFFECT	MSC11-CPP. Incorporate diagnostic tests using assertions
RACE_CONDITION	CON52-CPP. Prevent data races when accessing bit-fields from multiple threads UNREACHABLE	MSC07-CPP. Detect and remove dead code
UNUSED_VALUE	MSC12-CPP. Detect and remove code that has no effect
UNUSED_VALUE	MSC13-CPP. Detect and remove unused values
USE_AFTER_FREE	MEM50-CPP. Do not access freed memory
USE_AFTER_FREE	MEM01-CPP. Store a valid value in pointers immediately after deallocation
USE_AFTER_FREE	MEM11-CPP. Allocate and free memory in the same module, at the same level of abstraction

...

Space shortcuts