SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 37

changes.mady.by.user David Svoboda

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
GCC_V
GCC_V

Checker

Guideline

PRE07 DCL36-C. Avoid using repeated question marksDCL07-C. Include the appropriate type information in function declaratorsDCL11-C. Understand the type issues associated with variadic functionsDCL31-C. Declare identifiers before using themDCL36-C. Do not declare an identifier with conflicting linkage classificationsEXP05-C. Do not cast away a const qualificationDo not declare an identifier with conflicting linkage classifications
-Wchar-subscripts STR34-C. Cast characters to unsigned char before converting to larger integer sizes
-Wrestrict EXP43-C. Avoid undefined behavior when using restrict-qualified pointers
-Wstringop-truncation STR03-C. Do not inadvertently truncate a string
-Wunused-parameter MSC12-C. Detect and remove code that has no effect or is never executed
-Wunused-value MSC12-C. Detect and remove code that has no effect or is never executed
-Ww STR05-C. Use pointers to const when referring to string literals
Can detect some violations of this recommendation when the -Wswitch and -Wswitch-default flags are used MSC01-C. Strive for logical completeness
Can detect some violations of this rule when the -Wcast-align flag is used EXP36-C. Do not cast pointers into more strictly aligned pointer types
Can detect some violations of this rule when the -Wuninitialized flag is used EXP13-C. Treat relational and equality operators as if they were nonassociativeEXP30-C. Do not depend on the order of evaluation for side effectsEXP32-C. Do not access a volatile object through a nonvolatile reference EXP33-C. Do not read uninitialized memory EXP36-C. Do not cast pointers into more strictly aligned pointer types
Can detect violation of this recommendation when the -Wstrict-prototypes flag is used DCL07-C. Include the appropriate type information in function declarators
Can detect violation of this recommendation when the -Wtrigraphs flag is used PRE07-C. Avoid using repeated question marks
Can detect violation of this rule when the -Wstrict-prototypes flag is used. However, it cannot detect violations involving variadic functions, such as the open() example described earlier EXP37-C. Call functions with the correct number and type of arguments
Can detect violations of this recommendation when the -Wall flag is used EXP45-C. Do not perform assignments in selection statements
Can detect violations of this recommendation when the -Wall flag is used EXP16-C. Do not compare function pointers to constant values
Can detect violations of this recommendation when the -Wcast-qual flag is used EXP05EXP35-C. Do not modify objects with temporary lifetimeFIO30-C. Exclude user input from format stringscast away a const qualification
Can detect violations of this recommendation when the -Wformat flag is used FIO47-C. Use valid format strings MSC01-C. Strive for logical completeness
Can detect violations of this recommendation when the -Wunreachable-code flag is used MSC07-C. Detect and remove dead code
Can detect violations of this rule when the -Wcast-qual flag is used EXP32-C. Do not access a volatile object through a nonvolatile reference
Can detect violations of this rule when the -Wcomment flag is used MSC04-C. Use comments consistently and in a readable fashion MSC07
Can detect violations of this rule when the -Wformat-security flag is used FIO30-C. Detect and remove dead code
-Wchar-subscriptsSTR34-C. Cast characters to unsigned char before converting to larger integer sizes
-Wunused-parameterMSC12-C. Detect and remove code that has no effect
-Wunused-valueMSC12-C. Detect and remove code that has no effect

...

Exclude user input from format strings
Can detect violations of this rule when the -Wimplicit and -Wreturn-type flags are used DCL31-C. Declare identifiers before using them
Can detect violations of this rule when the -Wsequence-point flag is used EXP30-C. Do not depend on the order of evaluation for side effects
Option -Wparentheses warns if a comparison like x<=y<=z appears; this warning is also enabled by -Wall EXP13-C. Treat relational and equality operators as if they were nonassociative
rite-strings STR05-C. Use pointers to const when referring to string literals
Warns about inconsistently typed arguments to formatted output functions when the -Wall is used DCL11-C. Understand the type issues associated with variadic functions