Coverity
| File:Coverity logo.jpg | |
| Company type | Public |
|---|---|
| Industry | Security testing, static program analysis, software development |
| Founded | November 2002 |
| Fate | Acquired by Synopsys in 2014 |
| Headquarters | formerly San Francisco, California |
Key people | Jason Schmitt (current GM) |
| Products | Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker |
Number of employees | 250+ |
| Parent | Synopsys, Inc. |
| Website | synopsys |
Coverity is a commercial static code analysis solution developed by Black Duck, Inc., aimed at assisting developers and security professionals in detecting and resolving software defects.
The company was established in November 2002 at Stanford University's Computer Systems Laboratory by Benjamin Chelf, Andy Chou, David Park, and Seth Hallem, with guidance from technical advisor professor Dawson Engler. Subsequently, the firm relocated its main office to San Francisco. In June 2008, Coverity broadened its offerings through the acquisition of Solidware Technologies. Later, in February 2014, Synopsys acquired Coverity for $375 million in cash, enhancing its position within the software quality and security sector.
Products
Coverity provides static analysis support for a wide range of programming languages such as C, C++, C#, Java, JavaScript, PHP, Python, .NET, ASP.NET, Objective-C, Go, JSP, Ruby, Swift, Fortran, Scala, VB.NET, and TypeScript. The platform integrates with more than 70 frameworks across Java, JavaScript, C#, and additional languages.
The Coverity Scan service offers a complimentary cloud-based static analysis platform specifically designed for the open source development community.
Applications
In 2006, under a contract with the United States Department of Homeland Security, the tool was used to analyze over 150 open source projects and helped identify approximately 6,000 bugs that were subsequently corrected across 53 different initiatives.
The National Highway Traffic Safety Administration utilized Coverity during its 2010-2011 inquiry into incidents of sudden unintended acceleration involving Toyota vehicles. Additionally, CERN employed the tool to ensure software reliability for the Large Hadron Collider, while NASA's Jet Propulsion Laboratory applied it in crafting flight software for the Mars rover Curiosity.