What can static analysis NOT find?
The use of a variable before it has been defined
Unreachable (dead) code
Memory leaks
Array bound violations