This is desperate stuff.
Coverity is a Stanford start-up (2002) that uses static analysis to find bugs in C, C++, C# and Java. Its biggest customer to date appears to be the US Department of Homeland Security (2007 and ongoing).
The US Department of Homeland Security is the US Department of Homeland Security: Boondoggles’R'Us.
Now that we’ve cleared that up, let’s crunch the numbers, shall we?
No, wait, let’s start with the abject stupidity:
For the project researchers waded through over 37 million lines of open source software code and over 300 million lines of ...