Coverity

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Coverity, Inc.
Private
Industry Development testing
Fate Acquired by Synopsys
Founded November 2002 (2002-11)
Headquarters San Francisco, CA
Key people
Andy Chou (Cofounder) Andreas Kuehlmann (SVP & GM)
Products Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker
Number of employees
250+
Parent Synopsys, Inc.
Website coverity.com

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.

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.[1] 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.[2]

Products[edit]

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.[3]

Coverity Code Advisor on Demand was 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.[4]

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[edit]

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.[5] 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.[6][7] The tool was used by CERN on the software employed in the Large Hadron Collider[8][9] and in the NASA Jet Propulsion Laboratory during the flight software development of the Mars rover Curiosity.[10]

Awards[edit]

In October 2008, MIT Technology Review named co-founder Seth Hallem to its annual "TR35" list of "Innovators Under 35".[11]

In 2009 and 2011, Coverity was included in Deloitte’s "Technology Fast 500".[12][13]

In May 2012, Coverity won the 2012 CODiE Award for Best Software Development Solution.[14]

References[edit]

  1. ^ Krill, Paul (2008-06-30). "Coverity buys Solidware to boost code analysis". Infoworld.com. Archived from the original on 2008-10-10. Retrieved 2011-01-29. 
  2. ^ "Synopsys Enters Software Quality and Security Market with Coverity Acquisition". PR Newswire. 2014-02-19. Retrieved 2014-02-20. 
  3. ^ "A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World; How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems"
  4. ^ https://scan.coverity.com/
  5. ^ ["Archived copy". Archived from the original on June 14, 2009. Retrieved May 4, 2006. "LAMP lights the way in open-source security"] – ZDNet
  6. ^ "U.S. Used Key Tools to Examine Toyota Acceleration-Related Software" Archived 2013-05-26 at the Wayback Machine.
  7. ^ "Technical Support to the National Highway Traffic Safety Administration on the Reported Toyota Motor Corporation Unintended Acceleration Investigation"
  8. ^ "CERN Chooses Coverity to Ensure Accuracy of Large Hadron Collider Software"
  9. ^ "Improving Scientific Research: CERN and Coverity Static Analysis"
  10. ^ "Coverity: Mars Rover Curiosity's 'Space Doctors' On Bug Hunting In Space"
  11. ^ "TR35: Seth Hallem, 28". Technology Review. Retrieved 2011-01-29. 
  12. ^ "2009 Technology Fast 500 Ranking | Technology Fast 500 | Deloitte LLP" (PDF). Deloitte.com. 2010-09-23. Retrieved 2011-11-28. 
  13. ^ "Coverity Named One of the Fastest Growing Companies in North America". California: PR Newswire. 20 October 2011. Retrieved 2012-05-04. 
  14. ^ "Coverity Wins SIIA CODiE Award for Best Software Development Solution". California: Coverity. 11 May 2012. Retrieved 2012-12-05. 

External links[edit]