What can static analysis NOT find?

  • A. The use of a variable before it has been defined
  • B. Unreachable (“dead”) code
  • C. Whether the value stored in a variable is correct
  • D. The re-definition of a variable before it has been used
  • E. Array bound violations

Answer: Option C