Coverity

[ewx]

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

Comments

[simont]

So how do they arrange seriously clever whole-program analysis when at the same time that article said they were willing to just ignore any chunk of code their parser framework couldn't make sense of? The two sound contradictory to me.

[ewx.livejournal.com]

No idea, I'm afraid!