A Few Billion Lines of Code Later is an interesting look at the static analysis tool made by Coverity. It was spawned by the static analysis research project at Stanford. It is being used on lots of open source software as a way of testing the tool.
The article is an interesting look at some of the problems with management that must contend with a tool pointing out errors. I highly recommend reading it. You should read it soon. I don't know how long before it will before it goes behind the paywall and the above link is now good.