SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 78

changes.mady.by.user Matthew Churilla

Saved on

compared with

New Version Current

changes.mady.by.user David Svoboda

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Tip

The table below can be re-ordered, by clicking column headers.

...

Include Page
c:ECLAIR_Vc:
ECLAIR_V

Checker

Guideline

CC2.ARR02 ARR02-C. Explicitly specify array bounds, even if implicitly defined by an initializer
CC2.DCL00 DCL00-C. Const-qualify immutable objects
CC2.DCL01 DCL01-C. Do not reuse variable names in subscopes
CC2.DCL02 DCL02-C. Use visually distinct identifiers
CC2.DCL03 DCL03-C. Use a static assertion to test the value of a constant expression
CC2.DCL04 DCL04-C. Do not declare more than one variable per declaration
CC2.DCL06 DCL06-C. Use meaningful symbolic constants to represent literal values
CC2.DCL07 DCL07-C. Include the appropriate type information in function declarators
CC2.DCL11 DCL11-C. Understand the type issues associated with variadic functions
CC2.DCL13 DCL13-C. Declare function parameters that are pointers to values not changed by the function as const
CC2.DCL15 DCL15-C. Declare file-scope objects or functions that do not need external linkage as static
CC2.DCL16 DCL16-C. Use "L," not "l," to indicate a long value
CC2.DCL19 DCL19-C. Minimize the scope of variables and functions
CC2.DCL31 DCL31-C. Declare identifiers before using them
CC2.DCL36 DCL36-C. Do not declare an identifier with conflicting linkage classifications
CC2.DCL37 DCL37-C. Do not declare or define a reserved identifier
CC2.ERR01 ERR01-C. Use ferror() rather than errno to check for FILE stream errors
CC2.EXP00 EXP00-C. Use parentheses for precedence of operation
CC2.EXP05 EXP05-C. Do not cast away a const qualification
CC2.EXP06 EXP44-C. Do not rely on side effects in operands to sizeof, _Alignof, or _Generic
CC2.EXP09 EXP09-C. Use sizeof to determine the size of a type or variable
CC2.EXP12 EXP12-C. Do not ignore values returned by functions
CC2.EXP13 EXP13-C. Treat relational and equality operators as if they were nonassociative
CC2.EXP14 EXP14-C. Beware of integer promotion when performing bitwise operations on integer types smaller than int
CC2.EXP18 EXP45-C. Do not perform assignments in selection statements
CC2.EXP21 EXP45-C. Do not perform assignments in selection statements
CC2.EXP30 EXP30-C. Do not depend on the order of evaluation for side effects
CC2.EXP31 PRE31-C. Avoid side effects in arguments to unsafe macros
CC2.EXP36 EXP36-C. Do not cast pointers into more strictly aligned pointer types
CC2.EXP37 EXP37-C. Call functions with the correct number and type of arguments
CC2.FIO34 FIO34-C. Distinguish between characters read from a file and EOF or WEOF
CC2.FLP00 FLP00-C. Understand the limitations of floating-point numbers
CC2.FLP30 FLP30-C. Do not use floating-point variables as loop counters
CC2.INT02 INT02-C. Understand integer conversion rules
CC2.INT07 INT07-C. Use only explicitly signed or unsigned char type for numeric values
CC2.INT09 INT09-C. Ensure enumeration constants map to unique values
CC2.INT12 INT12-C. Do not make assumptions about the type of a plain int bit-field when used in an expression
CC2.INT13 INT13-C. Use bitwise operators only on unsigned operands
CC2.INT34 INT34-C. Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
CC2.MEM02 MEM02-C. Immediately cast the result of a memory allocation function call into a pointer to the allocated type
CC2.MSC04 MSC04-C. Use comments consistently and in a readable fashion
CC2.MSC05 MSC05-C. Do not manipulate time_t typed values directly
CC2.MSC12 MSC12-C. Detect and remove code that has no effect or is never executed
CC2.MSC17 MSC17-C. Finish every set of statements associated with a case label with a break statement
CC2.MSC20 MSC20-C. Do not use a switch statement to transfer control into a complex block
CC2.MSC30 MSC30-C. Do not use the rand() function for generating pseudorandom numbers
CC2.MSC34 MSC24-C. Do not use deprecated or obsolescent functions
CC2.PRE00 PRE00-C. Prefer inline or static functions to function-like macros
CC2.PRE01 PRE01-C. Use parentheses within macros around parameter names
CC2.PRE02 PRE02-C. Macro replacement lists should be parenthesized
CC2.PRE03 PRE03-C. Prefer typedefs to defines for encoding non-pointer types
CC2.PRE04 PRE04-C. Do not reuse a standard header file name
CC2.PRE06 PRE06-C. Enclose header files in an include guard
CC2.PRE07 PRE07-C. Avoid using repeated question marks
CC2.PRE08 PRE08-C. Guarantee that header file names are unique
CC2.PRE12 PRE12-C. Do not define unsafe macros
CC2.PRE31 PRE31-C. Avoid side effects in arguments to unsafe macros
CC2.PRE32 PRE32-C. Do not use preprocessor directives in invocations of function-like macros
CC2.STR04 STR04-C. Use plain char for characters in the basic character set
CC2.STR05 STR05-C. Use pointers to const when referring to string literals
CC2.STR10 STR10-C. Do not concatenate different type of string literals
CC2.STR34 STR34-C. Cast characters to unsigned char before converting to larger integer sizes
CC2.STR36 STR11-C. Do not specify the bound of a character array initialized with a string literal
CC2.STR37 STR37-C. Arguments to character-handling functions must be representable as an unsigned char