Type | Private |
---|---|
Industry | Development Testing |
Founded | November 2002 |
Headquarters | San Francisco, CA |
Key people | CEO: Anthony Bettencourt CTO: Andy Chou HR: Carol MacKinlay R&D: Andreas Kuehlmann |
Products | Coverity 5, Prevent, Thread Analyzer, Architecture Analyzer, Software Readiness Manager, Integrity Center |
Employees | 200+ |
Website | coverity.com |
Coverity is a software vendor based in San Francisco. It was incorporated in November 2002. It develops static code analysis tools, for C, C++ and other programming languages, used to find defects and security vulnerabilities in source code. The product originated from a Stanford research project.
Contents |
Coverity Static Analysis is a static code analysis tool for C, C++, C# and Java source code. Coverity commercialized a research tool for finding bugs through static analysis,[1] the Stanford Checker, which used abstract interpretation to identify defects in source code.[2]
The most notable use of the tool was under a United States Department of Homeland Security contract, in which it was used to examine over 150 open source applications for bugs.[3] On March 6, 2007 it was announced that over 6000 bugs across 53 projects found by the scan had been fixed.[4][5]
Coverity Dynamic Analyzer is a tool used to analyze Java source code. It was released in May 2008.[6] It observes code as it executes and identifies race conditions, deadlocks, and needless synchronization.
Other products are Coverity Architecture Analyzer, Coverity Build Analyzer and Integrity Center.
In early 2008, after spending more than four years as a self-funded, cash-positive startup, Coverity took in a $22 million investment from Benchmark Capital and Foundation Capital.
In June 2008, Coverity announced the acquisition of Solidware Technologies.[7] The technology gained from this acquisition became the foundation of Coverity Software Readiness Manager for Java.
In October 2008 Seth Hallem won the TR35 prize by Technology Review of MIT.[8]
In October 2009, Coverity earned a spot on Deloitte’s 2009 Technology Fast 500.[9] Revenues: 2004 $1.941 million, 2008 $21.918 million.
In October 2011, Coverity earned a spot on Deloitte's 2011 Technology Fast 500.[10]
The majority of the sales is done according to the LOC (lined of code) license,[11] the definition of "line of code" is listed on the Coverity web site [12]