Pages tagged static:

A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World | February 2010 | Communications of the ACM
http://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext

How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems.
“The unusual starts to occur with increasing frequency.”