Hacker News new | ask | show | jobs
by sparky 4224 days ago
This? http://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lin... http://web.stanford.edu/~engler/BLOC-coverity.pdf