SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 35

changes.mady.by.user David Svoboda

Saved on

compared with

New Version 36

changes.mady.by.user Will Snavely

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Info
titleGenerated Content

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

Version number:
3.1.1

Include Page
Splint_V
Splint_V

Checker

Guideline

 DCL30-C. Declare objects with appropriate storage durations
 DCL36-C. Do not declare an identifier with conflicting linkage classifications
 EXP30-C. Do not depend on the order of evaluation for side effects
 EXP33-C. Do not read uninitialized memory
 EXP34-C. Do not dereference null pointers
 EXP35-C. Do not modify objects with temporary lifetime
 ARR38-C. Guarantee that library functions do not form invalid pointers
 STR30-C. Do not attempt to modify string literals
 STR31-C. Guarantee that storage for strings has sufficient space for character data and the null terminator
 MEM30-C. Do not access freed memory
 MEM31-C. Free dynamically allocated memory when no longer needed
 MEM35-C. Allocate sufficient memory for an object
 FIO30-C. Exclude user input from format strings
 FIO34-C. Distinguish between characters read from a file and EOF or WEOF
 SIG30-C. Call only asynchronous-safe functions within signal handlers
 ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
 DCL01-C. Do not reuse variable names in subscopes
 DCL15-C. Declare file-scope objects or functions that do not need external linkage as static
 EXP12-C. Do not ignore values returned by functions
 FLP06-C. Convert integers to floating point for floating-point operations
 INT01-C. Use rsize_t or size_t for all integer values representing the size of an object
 INT07-C. Use only explicitly signed or unsigned char type for numeric values
 INT13-C. Use bitwise operators only on unsigned operands
 MSC07-C. Detect and remove dead code
 STR11-C. Do not specify the bound of a character array initialized with a string literal
-standardMSC12-C. Detect and remove code that has no effect or is never executed

...