What is static analysis?
matt.might.net