ECLAIR

Generated Content

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

Version number:
1.1

C checkers	Guideline
araydecl	ARR02-C. Explicitly specify array bounds, even if implicitly defined by an initializer
araydecl	STR36-C. Do not specify the bound of a character array initialized with a string literal
bitftype	INT12-C. Do not make assumptions about the type of a plain int bit-field when used in an expression
callargs	EXP37-C. Call functions with the correct number and type of arguments
callfmt	DCL11-C. Understand the type issues associated with variadic functions
castexpr	EXP05-C. Do not cast away a const qualification
castexpr	EXP36-C. Do not convert pointers into more strictly aligned pointer types
charcast	STR34-C. Cast characters to unsigned char before converting to larger integer sizes
charsgnd	STR04-C. Use plain char for characters in the basic character set
cnstpnte	DCL00-C. Const-qualify immutable objects
cnstpnte	DCL13-C. Declare function parameters that are pointers to values not changed by the function as const
cplxcall	FLP31-C. Do not call functions expecting real values with complex values
declgrup_srceline	DCL04-C. Do not declare more than one variable per declaration
declhidn	DCL01-C. Do not reuse variable names in subscopes
decltype	DCL07-C. Include the appropriate type information in function declarators
decltype	DCL31-C. Declare identifiers before using them
dtrigraf	PRE07-C. Avoid using repeated question marks
enuminit	INT09-C. Ensure enumeration constants map to unique values
evalordr	EXP30-C. Do not depend on order of evaluation between sequence points
exprctxt	EXP18-C. Do not perform assignments in selection statements
exprprns	EXP00-C. Use parentheses for precedence of operation
exprprns	EXP13-C. Treat relational and equality operators as if they were nonassociative
filscope	DCL15-C. Declare file-scope objects or functions that do not need external linkage as static
filscope	DCL19-C. Minimize the scope of variables and functions
floateql	FLP06-C. Understand that floating-point arithmetic in C is inexact
forcntrl	FLP30-C. Do not use floating-point variables as loop counters
funcalls	EXP09-C. Use sizeof to determine the size of a type or variable
funcalls	MEM02-C. Immediately cast the result of a memory allocation function call into a pointer to the allocated type
funcalls	MEM08-C. Use realloc() only to resize dynamically allocated arrays
hedrname	PRE04-C. Do not reuse a standard header file name
hedrname	PRE08-C. Guarantee that header file names are unique
idb_charplan	INT07-C. Use only explicitly signed or unsigned char type for numeric values
idb_charplan	STR37-C. Arguments to character handling functions must be representable as an unsigned char
idntsiml	DCL02-C. Use visually distinct identifiers
ignrrtrn	FIO04-C. Detect and handle input and output errors
ignrrtrn	FIO34-C. Use int to capture the return value of character IO functions
ignrtrn	EXP12-C. Do not ignore values returned by functions
inclgard	PRE06-C. Enclose header files in an inclusion guard
ltrlsynt	DCL16-C. Use "L," not "l," to indicate a long value
macrbody	PRE01-C. Use parentheses within macros around parameter names
macrbody	PRE02-C. Macro replacement lists should be parenthesized
macrbody	PRE12-C. Do not define unsafe macros
macrcall	DCL03-C. Use a static assertion to test the value of a constant expression
macrcall	EXP31-C. Avoid side effects in assertions
macrcall	PRE00-C. Prefer inline or static functions to function-like macros
macrcall	PRE31-C. Avoid side effects in arguments to unsafe macros
macrcall	PRE32-C. Do not use preprocessor directives inside macro arguments
macrexpd	PRE03-C. Prefer typedefs to defines for encoding types
noeffect	MSC12-C. Detect and remove code that has no effect
nomagicc	DCL06-C. Use meaningful symbolic constants to represent literal values
optrargs	EXP21-C. Place constants on the left of equality comparisons
optrargs	INT13-C. Use bitwise operators only on unsigned operands
resvidnt_resvmacr	DCL37-C. Do not declare or define a reserved identifier
shiftrhs	INT34-C. Do not shift a negative number of bits or more bits than exist in the operand
stlibuse	ERR01-C. Use ferror() rather than errno to check for FILE stream errors
stlibuse	FIO07-C. Prefer fseek() to rewind()
stlibuse	FIO12-C. Prefer setvbuf() to setbuf()
stlibuse	MSC30-C. Do not use the rand() function for generating pseudorandom numbers
stltccat	STR10-C. Do not concatenate different type of string literals
swchsynt	MSC17-C. Finish every set of statements associated with a case label with a break statement
swchsynt	MSC20-C. Do not use a switch statement to transfer control into a complex block
unexfct	EXP06-C. Operands to the sizeof operator should not contain side effects
utypbtws	EXP14-C. Beware of integer promotion when performing bitwise operations on integer types smaller than int

Space shortcuts

Page tree