SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 148

changes.mady.by.user Jill Britton

Saved on

compared with

New Version Current

changes.mady.by.user Joerg Herter

Saved on

Key

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

...

SupportedPRQA QA-CFully implementedHelix QAC_V

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V
dead-assignemnt
dead-initializer		Partially checked and soundly supported.
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

DIAG.UNEX.*
LANG.STRUCT.RC
LANG.STRUCT.UC

Code not exercised by analysis
Redundant condition
Unreachable {Call, Computation, Conditional, Control Flow, Data Flow}

Coverity

Include Page
Coverity_V
Coverity_V

DEADCODE


UNREACHABLE

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

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

GCC
Include Page
GCC_V
GCC_V


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

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C1501, C1503, C2008, C2877, C2880, C2881, C2882, C2883,C3202, C3203, C3205, C3206, C3207, C3210, C3219, C3229, C3404, C3422, C3423, C3425, C3470

DF2877, DF2880, DF2881, DF2882, DF2883, DF2980, DF2981, DF2982, DF2983, DF2984, DF2985, DF2986


Klocwork
Include Page
Klocwork_V
Klocwork_V

LA_UNUSED
UNREACH.GEN
UNREACH.RETURN
UNREACH.SIZEOF

UNREACH.ENUM
INVARIANT_CONDITION.UNREACH


LDRA tool suite
Include Page
LDRA_V
LDRA_V

1 J
139 S
140 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-MSC07-a
CERT_C-MSC07-b
CERT_C-MSC07-c
CERT_C-MSC07-d
CERT_C-MSC07-e
CERT_C-MSC07-f
CERT_C-MSC07-g
CERT_C-MSC07-h
CERT_C-MSC07-i

There shall be no unreachable code in "else" block
There shall be no unreachable code after 'return', 'break', 'continue', and 'goto' statements
There shall be no unreachable code in "if/else/while/for" block
There shall be no unreachable code in switch statement
There shall be no unreachable code in 'for' loop
There shall be no unreachable code after 'if' or 'switch' statement
There shall be no unreachable code after "if" or "switch" statement inside while/for/do...while loop
Avoid switch with unreachable branches
Avoid unreachable methods

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rule MSC07-C


Checks for:

  • Code does not execute
  • Default case is missing and may be reached
  • Code following control-flow statements


RuleChecker
Include Page
PRQA QA-C_v
RuleChecker_V
RuleChecker_V

dead-assignemnt
dead-initializer

Partially checkedPRQA QA-C_v2008, 2877, 2880, 2881, 2882, 2883, 2980, 2981, 2982, 2983, 2984, 2985, 2986, 3202, 3203, 3205, 3206, 3207, 3210, 3219, 3229, 3404, 3422, 3423, 3425, 3470, 1501, 1503
SonarQube C/C++ Plugin
 
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V

S1763, S1751


Splint
Include Page
Splint_V
Splint_V


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

Helix QAC
Include Page
Helix QAC_V

Related Vulnerabilities

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

...