SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 36

changes.mady.by.user Will Snavely

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.
Generated Content
Info
title
Note

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

...

was automatically generated and should not be edited.

Note

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

Tip

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

...

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 rsizesize_t or sizersize_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
-standard MSC12-C. Detect and remove code that has no effect or is never executed

...

Can detect violations of this recommendation when the -Wunreachable-code flag is used MSC07-C. Detect and remove dead code