Jon Simpson

A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World

14 Feb 2010 — cacm, static analysis, coverity

Interesting article in the Communications of the ACM from a number of people at Coverity about the process of producing commercial tools from their static analysis research. Particularly fond of the anecdotes about production codebases and some of the bugs found.

[via Lambda the Ultimate.]