What can static analysis NOT find?
the use of a variable before it has been defined
unreachable (“dead”) code
memory leaks
array bound violations