Versions Compared

Key

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

Software `Software vulnerabilities can result when a programmer fails to consider all possible data states.

...

Failing to take into account all possibilities within a logic statement can lead to a corrupted running state, potentially resulting in unintentional information disclosure or abnormal termination.

Automated Detection

ToolVersionCheckerDescription
Parasoft Jtest
Include Page
Parasoft_V
Parasoft_V
CERT.MSC57.PDCL
CERT.MSC57.PDS
Place "default" as the last case of the "switch" statement
Provide "default:" for each "switch" statement
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V6002V6003V6007V6018V6031V6037V6057V6077

Related Guidelines

Bibliography

[Hatton 1995]§2.7.2, "Errors of Omission and Addition"
[Viega 2005]§5.2.17, "Failure to Account for Default Case in Switch"
[Zadegan 2009]A Lesson on Infinite Loops

...


...