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.2

C checkers	Guideline
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
CC2.ARR02	ARR02-C. Explicitly specify array bounds, even if implicitly defined by an initializer
CC2.EXP37	EXP37-C. Call functions with the correct number and type of arguments
CC2.INT12	INT12-C. Do not make assumptions about the type of a plain int bit-field when used in an expression
CC2.PRE00	PRE00-C. Prefer inline or static functions to function-like macros
CC2.STR36	STR11-C. Do not specify the bound of a character array initialized with a string literal
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
cmntdout_tokenuse	MSC04-C. Use comments consistently and in a readable fashion
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
conststr	STR05-C. Use pointers to const when referring to string literals
cplxcall	VOID 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
emptloop	void MSC40-C. Do not use an empty infinite loop
enuminit	INT09-C. Ensure enumeration constants map to unique values
evalordr	EXP30-C. Do not depend on order of evaluation for side effects
exprctxt	EXP45-C. Do not perform assignments in selection statements
exprctxt	MSC05-C. Do not manipulate time_t typed values directly
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
funparid	API08-C. Avoid parameter names in a function prototype
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	void FIO34-C. Use int to capture the return value of character IO functions that might be used to check for end of file
ignrtrn	EXP12-C. Do not ignore values returned by functions
inclgard	PRE06-C. Enclose header files in an inclusion guard
intllnkg	DCL36-C. Do not declare an identifier with conflicting linkage classifications
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	VOID EXP31-C. Do not perform side effects in assertions
macrcall	PRE31-C. Do not perform 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
stlibuse	MSC24-C. Do not use deprecated or obsolescent functions
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	EXP44-C. Do not use side effects in operands to sizeof, _Alignof, or _Generic
utypbtws	EXP14-C. Beware of integer promotion when performing bitwise operations on integer types smaller than int
utypbtws	INT02-C. Understand integer conversion rules

Space shortcuts

Page tree