Coverity

Coverity is a software vendor with headquarters in San Francisco and has offices in Boston, Calgary, London and Tokyo. Founded in the Computer Systems Laboratory at Stanford University in Palo Alto, California, Coverity invented a fundamentally different way to test complex source code to find hard to spot, yet critical software defects in a solution that was consumable for commercial use. Coverity develops development testing solutions, including static code analysis tools, for C, C++, Java and C#, used to find defects and security vulnerabilities in source code.