SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: ECLAIR_V  
Author: Roberto Bagnara Apr 06, 2012
Last Changed by: Roberto Bagnara Jul 05, 2013
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/i9UxBQ
Export As: Word · PDF  
Incoming Links
SEI CERT C Coding Standard (62)
    Page: INT07-C. Use only explicitly signed or unsigned char type for numeric values
    Page: MSC04-C. Use comments consistently and in a readable fashion
    Page: DCL16-C. Use "L," not "l," to indicate a long value
    Page: PRE03-C. Prefer typedefs to defines for encoding non-pointer types
    Page: EXP13-C. Treat relational and equality operators as if they were nonassociative
    Page: DCL07-C. Include the appropriate type information in function declarators
    Page: INT13-C. Use bitwise operators only on unsigned operands
    Page: 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
    Page: PRE08-C. Guarantee that header file names are unique
    Page: EXP37-C. Call functions with the correct number and type of arguments
    Page: EXP00-C. Use parentheses for precedence of operation
    Page: DCL02-C. Use visually distinct identifiers
    Page: INT09-C. Ensure enumeration constants map to unique values
    Page: DCL31-C. Declare identifiers before using them
    Page: INT02-C. Understand integer conversion rules
    Page: MSC17-C. Finish every set of statements associated with a case label with a break statement
    Page: DCL15-C. Declare file-scope objects or functions that do not need external linkage as static
    Page: DCL04-C. Do not declare more than one variable per declaration
    Page: FLP30-C. Do not use floating-point variables as loop counters
    Page: MSC20-C. Do not use a switch statement to transfer control into a complex block
    Page: EXP12-C. Do not ignore values returned by functions
    Page: PRE12-C. Do not define unsafe macros
    Page: DCL36-C. Do not declare an identifier with conflicting linkage classifications
    Page: MSC12-C. Detect and remove code that has no effect or is never executed
    Page: MSC30-C. Do not use the rand() function for generating pseudorandom numbers
    Page: MEM02-C. Immediately cast the result of a memory allocation function call into a pointer to the allocated type
    Page: DCL03-C. Use a static assertion to test the value of a constant expression
    Page: STR04-C. Use plain char for characters in the basic character set
    Page: STR11-C. Do not specify the bound of a character array initialized with a string literal
    Page: PRE32-C. Do not use preprocessor directives in invocations of function-like macros
    Page: ARR02-C. Explicitly specify array bounds, even if implicitly defined by an initializer
    Page: STR37-C. Arguments to character-handling functions must be representable as an unsigned char
    Page: PRE06-C. Enclose header files in an include guard
    Page: DCL00-C. Const-qualify immutable objects
    Page: ECLAIR
    Page: EXP14-C. Beware of integer promotion when performing bitwise operations on integer types smaller than int
    Page: PRE04-C. Do not reuse a standard header file name
    Page: MSC24-C. Do not use deprecated or obsolescent functions
    Page: DCL11-C. Understand the type issues associated with variadic functions
    Page: DCL13-C. Declare function parameters that are pointers to values not changed by the function as const
    Page: DCL19-C. Minimize the scope of variables and functions
    Page: EXP05-C. Do not cast away a const qualification
    Page: DCL06-C. Use meaningful symbolic constants to represent literal values
    Page: STR10-C. Do not concatenate different type of string literals
    Page: MSC05-C. Do not manipulate time_t typed values directly
    Page: PRE02-C. Macro replacement lists should be parenthesized
    Page: STR05-C. Use pointers to const when referring to string literals
    Page: EXP44-C. Do not rely on side effects in operands to sizeof, _Alignof, or _Generic
    Page: PRE01-C. Use parentheses within macros around parameter names
    Page: EXP09-C. Use sizeof to determine the size of a type or variable
    Page: PRE00-C. Prefer inline or static functions to function-like macros
    Page: EXP45-C. Do not perform assignments in selection statements
    Page: DCL37-C. Do not declare or define a reserved identifier
    Page: DCL01-C. Do not reuse variable names in subscopes
    Page: PRE07-C. Avoid using repeated question marks
    Page: ERR01-C. Use ferror() rather than errno to check for FILE stream errors
    Page: STR34-C. Cast characters to unsigned char before converting to larger integer sizes
    Page: EXP36-C. Do not cast pointers into more strictly aligned pointer types
    Page: FLP00-C. Understand the limitations of floating-point numbers
    Page: PRE31-C. Avoid side effects in arguments to unsafe macros
    Page: EXP30-C. Do not depend on the order of evaluation for side effects
    Page: INT12-C. Do not make assumptions about the type of a plain int bit-field when used in an expression
Hierarchy
Parent Page
    Page: EE. Analyzers
Labels
There are no labels assigned to this page.
Recent Changes
Time Editor  
Jul 05, 2013 12:32 Roberto Bagnara View Changes
Apr 06, 2012 17:04 Roberto Bagnara View Changes
Migrated to Confluence 4.0
Apr 06, 2012 17:04 Roberto Bagnara