SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 57

changes.mady.by.user Robert Seacord (Manager)

Saved on

compared with

New Version 58

changes.mady.by.user Robert Seacord

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Automated Detection

Tool

Version

OptionChecker

Description

Section

Coverity Prevent

Include Page
c:Coverity_V
c:Coverity_V
Section

NO_EFFECT

Section

finds statements or expressions that do not accomplish anything, or statements that perform an unintended action

Section

GCC

Include Page
c:GCC_V
c:GCC_V
Section

-Wunused-value and -Wunused-parameter

 

Section

Klocwork

Include Page
c:Klocwork_V
c:Klocwork_V
Section

EFFECT

 

Section

LDRA tool suite

Include Page
c:LDRA_V
c:LDRA_V

 

 

Section

Splint

Include Page
c:Splint_V
c:Splint_V

 

 

...

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...

Related Guidelines

CERT C++ Secure Coding Standard: MSC12-CPP. Detect and remove code that has no effect
CERT Oracle Secure Coding Standard for Java: MSC17-J. Detect and remove dead code
ISO/IEC TR 24772: "BRS Leveraging human experience," "BVQ Unspecified Functionality," "KOA Likely incorrect expressions," and "XYQ Dead and Deactivated Code"
MISRA C 2004: Rule 14.1 and Rule 14.2

...