Page History

Generated Content

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

Version number:
1.1

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

	ECLAIR_V
	ECLAIR_V

Checker	Guideline
CC2.EXP30	EXP50
C++ checkers	Rule
araydecl	ARR02-CPP. Explicitly specify array bounds, even if implicitly defined by an initializer
araydecl	STR36-CPP. Do not specify the bound of a character array initialized with a string literal
bitftype	INT12-CPP. Do not make assumptions about the type of a plain int bit-field when used in an expression
callargs	EXP37-CPP. Call variadic functions with the arguments intended by the API
castexpr	EXP05-CPP. Do not use C-style casts
castexpr	EXP14-CPP. Do not use reinterpret_cast on pointers to class objects with multiple inheritence
castexpr	EXP35-CPP. Do not cast away a const qualification
castexpr	EXP36-CPP. Do not convert pointers into more strictly aligned pointer types
charcast	STR34-CPP. Cast characters to unsigned types before converting to larger integer sizes
charsgnd	STR04-CPP. Use plain char for characters in the basic character set
cnstpnte	DCL00-CPP. Const-qualify immutable objects
cnstpnte	DCL13-CPP. Declare function parameters that are pointers to values not changed by the function as const
cplxcall	FLP31-CPP. Do not call functions expecting real values with complex values
declgrup_srceline	DCL04-CPP. Do not declare more than one variable per declaration
declhidn	DCL01-CPP. Do not reuse variable names in subscopes
declused	MSC22-CPP. Do not define static private members
dtrigraf	PRE07-CPP. Avoid using repeated question marks
enuminit	INT09-CPP. Ensure enumeration constants map to unique values
evalordr	EXP30-CPP. Do not depend on order of evaluation between sequence points
exprctxt	EXP19-CPP. Do not perform assignments in conditional expressions
exprprns	EXP00-CPP. Use parentheses for precedence of operation
exprprns	EXP17-CPP. Treat relational and equality operators as if they were nonassociative
filscope	DCL07-CPP. Minimize the scope of variables and methods
filscope	DCL15-CPP. Declare file-scope objects or functions that do not need external linkage in an unnamed namespace
floateql	FLP35-CPP. Take granularity into account when comparing floating point values
forcntrl	FLP30-CPP. Do not use floating point variables as loop counters
funcalls	EXP09-CPP. Use sizeof to determine the size of a type or variable
funcalls	MEM02-CPP. Immediately cast the result of a memory allocation function call into a pointer to the allocated type
hedrname	PRE04-CPP. Do not reuse a standard header file name
hedrname	PRE08-CPP. Guarantee that header file names are unique
idb_charplan	INT07-CPP. Use only explicitly signed or unsigned char type for numeric values
idb_charplan	STR37-CPP. Arguments to character handling functions must be representable as an unsigned char
idntsiml	DCL02-CPP. Use visually distinct identifiers
ignrtrn	EXP12-CPP. Do not ignore values returned by functions or methods
inclgard	PRE06-CPP. Enclose header files in an inclusion guard
ltrlsynt	DCL16-CPP. Use 'L', not 'l', to indicate a long value
macrbody	PRE01-CPP. Use parentheses within macros around parameter names
macrbody	PRE02-CPP. Macro replacement lists should be parenthesized
macrbody	PRE12-CPP. Do not define unsafe macros
macrcall	DCL03-CPP. Use a static assertion to test the value of a constant expression
macrcall	EXP31-CPP. Avoid side effects in assertions
macrcall	PRE00-CPP. Avoid defining macros
macrcall	PRE31-CPP. Avoid side-effects in arguments to unsafe macros
macrexpd	PRE03-CPP. Prefer typedefs to defines for encoding types
noeffect	MSC12-CPP. Detect and remove code that has no effect
nomagicc	DCL06-CPP. Use meaningful symbolic constants to represent literal values in program logic
optrargs	INT13-CPP. Use bitwise operators only on unsigned operands
shiftrhs	INT34-CPP. Do not shift a negative number of bits or more bits than exist in the operand
stlibuse	ERR01-CPP. Use ferror() rather than errno to check for FILE stream errors
stlibuse	FIO07-CPP. Prefer fseek() to rewind()
stlibuse	FIO12-CPP. Prefer setvbuf() to setbuf()
stlibuse	MSC30-CPP. Do not use the rand() function for generating pseudorandom numbers
swchsynt	MSC18-CPP. Finish every set of statements associated with a case label with a break statement
swchsynt	MSC20-CPP. Do not use a switch statement to transfer control into a complex block
trycatch	ERR36-CPP. Multiple catch handlers to a try block should order their exceptions from most derived to most basic
unexfct	EXP06-CPP. Operands to the sizeof operator should not contain side effects
the order of evaluation for side effects
CC2.MSC30	MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
CP1.ERR36	ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived	utypbtws	EXP15-CPP. Beware of integer promotion when performing bitwise operations on chars or shorts

Space shortcuts

Page tree

Versions Compared

Old Version 19

New Version Current

Key