SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 94

changes.mady.by.user Astha Singhal

Saved on

compared with

New Version 95

changes.mady.by.user Astha Singhal

Saved on

Key

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

...

Tool

Version

Checker

Description

Section

LDRA tool suite

Include Page
c:LDRA_V
c:LDRA_V

 

Section

1 J
139 S
140 S

Section

Fully Implemented

 

Section

Splint

Include Page
c:Splint_V
c:Splint_V

 

Section

can detect violations of this recommendation when the -Wunreachable-code flag is used

Section

GCC

Include Page
c:GCC_V
c:GCC_V

 

Section

can detect violations of this recommendation when the -Wunreachable-code flag is used

Section

Klocwork

Include Page
c:Klocwork_V
c:Klocwork_V
Section

LV_UNUSED.GEN VA_UNUSED.* UNREACH.*

 

Section

Coverity Prevent

Include Page
c:Coverity_V
c:Coverity_V
Section

DEADCODE

Section

can detect the specific instance where Code can never be reached because of a logical contradiction or a dead 'default' in switch statement

Section

Coverity Prevent

Include Page
c:Coverity_V
c:Coverity_V
Section

UNREACHABLE

Section

can detect the instances where Code block is unreachable because of the syntactic structure of the code

...