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:
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

	Splint_V
	Splint_V

Checker	Guideline
	EXP50-CPP. Do not depend on the order of evaluation for side effects
	MEM50-CPP. Do not access freed memory
Checker	Guideline
DCL01-CPP. Do not reuse variable names in subscopes	DCL15-CPP. Declare file-scope objects or functions that do not need external linkage in an unnamed namespace	DCL30-CPP. Declare objects with appropriate storage durations	DCL36-CPP. Do not declare an identifier with conflicting linkage classifications	EXP12-CPP. Do not ignore values returned by functions or methods	EXP30-CPP. Do not depend on order of evaluation between sequence points	INT07-CPP. Use only explicitly signed or unsigned char type for numeric values	INT13-CPP. Use bitwise operators only on unsigned operands	ARR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array	STR36-CPP. Do not specify the bound of a character array initialized with a string literal	FIO30-CPP. Exclude user input from format strings	MSC12-CPP. Detect and remove code that has no effect

Space shortcuts