Coverity
 | |
| Company type | Public |
|---|---|
| Industry | Security testing,static program analysis,software development |
| Founded | November 2002 |
| Fate | Acquired bySynopsysin 2014 |
| Headquarters | formerlySan 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 |
Coverityis aproprietarystatic code analysistool fromSynopsys.This product enables engineers and security teams to find and fix software defects.
Coverity started as an independent software company in 2002 at the Computer Systems Laboratory atStanford Universityin Palo Alto, California. It was founded by Benjamin Chelf, Andy Chou, David Park, and Seth Hallem with Stanford professorDawson Engleras a technical adviser. The headquarters was moved toSan Francisco.In June 2008, Coverity acquired Solidware Technologies.[1]In February 2014, Coverity announced an agreement to be acquired bySynopsys,anelectronic design automationcompany, for $375M in cash.[2]
Products
[edit]Coverityis astatic code analysistool forC,C++,C#,Java,JavaScript,PHP,Python,.NET,ASP.NET,Objective-C,Go,JSP,Ruby,Swift,Fortran,Scala,VB.NET,andTypeScript.It also supports more than 70 differentframeworksfor Java, JavaScript, C# and other languages.[3]
Coverity Scanis a free static-analysiscloud-based servicefor theopen sourcecommunity.
Applications
[edit]Under aUnited States Department of Homeland Securitycontract 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.[4]
National Highway Traffic Safety Administrationused the tool in its 2010-2011 investigation into reports ofsudden unintended accelerationin Toyota vehicles.[5][6]The tool was used byCERNon the software employed in theLarge Hadron Collider[7][8]and in theNASAJet Propulsion Laboratoryduring the flight software development of theMars roverCuriosity.[9]
References
[edit]- ^Krill, Paul (2008-06-30)."Coverity buys Solidware to boost code analysis".Infoworld. Archived fromthe originalon 2008-10-10.Retrieved2011-01-29.
- ^"Synopsys Enters Software Quality and Security Market with Coverity Acquisition".PR Newswire. 2014-02-19.Retrieved2014-02-20.
- ^"Coverity Static Analysis Data Sheet"(PDF).Synopsys.Retrieved2019-07-15.
- ^["LAMP lights the way in open-source security: News: Security - ZDNet Asia".Archived fromthe originalon June 14, 2009.RetrievedMay 4,2006."LAMP lights the way in open-source security" ] –ZDNet
- ^"U.S. Used Key Tools to Examine Toyota Acceleration-Related Software"Archived2013-05-26 at theWayback Machine
- ^"Technical Support to the National Highway Traffic Safety Administration on the Reported Toyota Motor Corporation Unintended Acceleration Investigation"Archived2011-02-13 at theWayback Machine
- ^"CERN Chooses Coverity to Ensure Accuracy of Large Hadron Collider Software"
- ^"Improving Scientific Research: CERN and Coverity Static Analysis"
- ^"Coverity: Mars Rover Curiosity's 'Space Doctors' On Bug Hunting In Space"