Superfluous code and values may occur in the form of dead code, code that has no effect, and unused values in program logic.
Code that is never executed is known as dead code. Typically, the presence of dead code indicates that a logic error has occurred as a result of changes to a program or to the program's environment. Dead code is often optimized out of a program during compilation. However, to improve readability and ensure that logic errors are resolved, dead code should be identified, understood, and removed.
Code that is executed but fails to perform any action, or that has an unintended effect, most likely results from a coding error and can cause unexpected behavior. Statements or expressions that have no effect should be identified and removed from code. Most modern compilers can warn about code that has no effect.
The presence of unused values in code may indicate significant logic errors. To prevent such errors, unused values should be identified and removed from code.
Noncompliant Code Example (Dead Code)
This noncompliant code example demonstrates how dead code can be introduced into a program [Fortify 2013]:
The condition in the second if statement,
(x != 0), will never evaluate to
true because the only path where
x can be assigned a nonzero value ends with a
Remediation of dead code requires the programmer to determine not only why the code is never executed but also whether the code should have been executed, and then to resolve that situation appropriately. This compliant solution assumes that the dead code should have executed, and consequently, the body of the first conditional statement no long ends with a return.
Noncompliant Code Example (Dead Code)
In this example, the
length() function is used to limit the number of times the function
string_loop() iterates. The condition of the
if statement inside the loop evaluates to
true when the current index is the length of
str. However, because
i is always strictly less than
str.length(), that can never happen.
Proper remediation of the dead code depends on the intent of the programmer. Assuming the intent is to do something special with the last character in
str, the conditional statement is adjusted to check whether
i refers to the index of the last character in
Noncompliant Code Example (Code with No Effect)
In this noncompliant code example, the comparison of
t has no effect:
This error is probably the result of the programmer intending to do something with the comparison but failing to complete the code.
In this compliant solution, the result of the comparison is printed out:
Noncompliant Code Example (Unused Values)
In this example,
p2 is assigned the value returned by
bar(), but that value is never used:
This example can be corrected in many different ways depending on the intent of the programmer. In this compliant solution,
p2 is found to be extraneous. The calls to
baz() could also be removed if they do not produce any side effects.
The presence of dead code may indicate logic errors that can lead to unintended program behavior. The ways in which dead code can be introduced into a program and the effort required to remove it can be complex. As a result, resolving dead code can be an in-depth process requiring significant analysis.
In exceptional situations, dead code may make software resilient to future changes. An example is the presence of a default case in a
switch statement even though all possible switch labels are specified (see MSC57-J. Strive for logical completeness for an illustration of this example).
It is also permissible to temporarily retain dead code that may be needed later. Such cases should be clearly indicated with an appropriate comment.
The presence of code that has no effect can indicate logic errors that may result in unexpected behavior and vulnerabilities. Unused values in code may indicate significant logic errors.
Unused classes, methods, and variables that are part of an exported library do not violate this guideline.
Code and values that have no effect can be detected by suitable static analysis.
|Avoid conditions that always evaluate to the same value|
Avoid switch with unreachable branches
Avoid unused values
|V6005, V6021, V6022, V6026, V6039|