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 | charplan | INT07-C. Use only explicitly signed or unsigned char type for numeric values |
charsgnd | STR04-C. Use plain char for characters in the basic character set |
cmprexpr cnstpnte | EXP21DCL00-C. Place constants on the left of equality comparisonsConst-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 |
