What can static analysis NOT find?
The use of a variable before it has been defined
Unreachable (“dead”) code
Whether the value stored in a variable is correct
The re-definition of a variable before it has been used