SEI CERT C Coding Standard

Space shortcuts

Page tree

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 23 Next »

This page was automatically generated and should not be edited.

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

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

Tool Version: 3.11

Checker

Guideline

AssignmentInSubExpression EXP45-C. Do not perform assignments in selection statements
ElseIfWithoutElse MSC01-C. Strive for logical completeness
IncAndDecMixedWithOtherOperators EXP30-C. Do not depend on the order of evaluation for side effects
NonEmptyCaseWithoutBreak MSC17-C. Finish every set of statements associated with a case label with a break statement
ObsoletePosixFunction POS33-C. Do not use vfork()
S819 DCL31-C. Declare identifiers before using them
S820 DCL31-C. Declare identifiers before using them
S929 DCL20-C. Explicitly specify void when a function accepts no arguments
S930 EXP37-C. Call functions with the correct number and type of arguments
S935 MSC37-C. Ensure that control never reaches the end of a non-void function
S973 MSC00-C. Compile cleanly at high warning levels
S978 DCL37-C. Do not declare or define a reserved identifier
S990 ENV33-C. Do not call system()
S1116 MSC12-C. Detect and remove code that has no effect or is never executed
S1656 MSC12-C. Detect and remove code that has no effect or is never executed
S1751 MSC07-C. Detect and remove dead code
S1751 MSC12-C. Detect and remove code that has no effect or is never executed
S1762 MSC00-C. Compile cleanly at high warning levels
S1763 MSC07-C. Detect and remove dead code
S1763 MSC12-C. Detect and remove code that has no effect or is never executed
S1764 MSC12-C. Detect and remove code that has no effect or is never executed
S1767 INT36-C. Converting a pointer to integer or integer to pointer
S1836 EXP43-C. Avoid undefined behavior when using restrict-qualified pointers
S1862 MSC12-C. Detect and remove code that has no effect or is never executed
S2095 FIO42-C. Close files when they are no longer needed
S2193 FLP30-C. Do not use floating-point variables as loop counters
S2259 EXP34-C. Do not dereference null pointers
S3518 INT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors
S3584 MEM31-C. Free dynamically allocated memory when no longer needed
SwitchWithoutDefault MSC01-C. Strive for logical completeness
TrigraphUsage PRE07-C. Avoid using repeated question marks
  • No labels