Page History

...

Recommendation	Severity	Likelihood	Detectable	RepairableRemediation Cost	Priority	Level
MSC07-C	Low	Unlikely	No	YesMedium	P2	L3

Automated Detection

and

Dead code

Missing case for switch condition

Unreachable code

MISRA C:2012 Rule 2.1

A project shall not contain unreachable code

1501, 1503, 2008, 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,

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',

'goto', 'throw' statements, and after calls to functions with the 'noreturn' attribute
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

PRQA QA-C

Include Page

PRQA QA-C_v

RuleChecker

Include Page

	RuleChecker_V
	RuleChecker_V

dead-assignemnt
dead-initializer

Partially checked

Security Reviewer - Static Reviewer

Include Page

	Security Reviewer - Static Reviewer_V
	Security Reviewer - Static Reviewer_V

CPP_57
CPP_58
CPP_59
CPP_60
CPP_61
CPP_62
CPP_uninitvar
CPPCrypt
CPPDSLHardcoded
CPPDSLRAND
CPPDSLWES
CpPED
CPPEnterCriticalSection
CPPIsBadWritePtr
CPPLoadLibrary
CPPLoop

Fully implemented

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

Related Vulnerabilities

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

...

Space shortcuts

Page tree

Versions Compared

Old Version 142

New Version Current

Key

Automated Detection

Related Vulnerabilities