Type Private Founded November 2002 Parent organization Synopsys | Industry Development testing Website coverity.com Number of employees 250 | |
 | ||
Key people Andreas Kuehlmann (SVP & GM) Products Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker Founders Andy Chou, Seth Hallem, Dawson Engler, Dave Park, Benjamin Chelf Subsidiaries Kalistick SAS, Coverity Limited, Coverity (India) Private Limited | ||
Coverity platform overview
Coverity is a brand of software development products from Synopsys, consisting primarily of static code analysis and dynamic code analysis tools. The tools enable engineers to find defects and security vulnerabilities in source code written in C, C++, Java, C#, and JavaScript.
Contents
Before its acquisition by Synopsys, Coverity was an organization founded in the Computer Systems Laboratory at Stanford University in Palo Alto, California and with headquarters in San Francisco. In June 2008, Coverity acquired Solidware Technologies. And in February 2014, Coverity announced an agreement to be acquired by Synopsys, an electronic design automation company, for $350 million net of cash on hand.
Coverity analysis demonstration gzip
Products
Coverity Code Advisor is a static code analysis tool for C, C++, C#, Java, and JavaScript. It is derived from the Stanford Checker, a research tool for finding bugs through static analysis.
Coverity Code Advisor on Demand is a cloud hosted version of Coverity Code Advisor.
Coverity Scan is a gratis static-analysis cloud-based service for the open source community. The tool analyzes over 3900 open-source projects and is integrated with GitHub and Travis CI.
Coverity Test Advisor is a series of products aimed at identifying weaknesses in a project software testing.
Seeker is an interactive application security testing product.
Applications
Under a United States Department of Homeland Security contract in 2006, the tool was used to examine over 150 open source applications for bugs; 6000 bugs found by the scan were fixed across 53 projects. This was prior to the launch of the current "Coverity Scan" service discussed above.
National Highway Traffic Safety Administration used the tool in its 2010-2011 investigation into reports of sudden unintended acceleration in Toyota vehicles. The tool was used by CERN on the software employed in the Large Hadron Collider and in the NASA Jet Propulsion Laboratory during the flight software development of the Mars rover Curiosity.
Awards
In October 2008, MIT Technology Review named co-founder Seth Hallem to its annual "TR35" list of "Innovators Under 35".
In 2009 and 2011, Coverity was included in Deloitte’s "Technology Fast 500".
In May 2012, Coverity won the 2012 CODiE Award for Best Software Development Solution.