Coverity is a software package consisting of static and dynamic code analyzers owned by Synopsys . The software searches for errors and flaws in the security of the source codes of programs written in C, C ++, Java, C # and JavaScript.
| Coverity | |
|---|---|
| Base | November 2002 |
| Reason for abolition | Acquired by Synopsys |
| Location | San Francisco, CA |
| Key figures | Andreas Kuehlmann (SVP & GM) |
| Industry | Development testing |
| Products | Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker |
| Number of employees | 250+ |
| Site | coverity.com |
Prior to the Synopsys acquisition, Coverity was located in the laboratory at Stanford University in California. In June 2008, the company swallowed Solidware Technologies [1] . In February 2014, papers were signed to sell Synopsys for $ 350 million [2] .
Content
Programs in the package
- Coverity Code Advisor is a static code analyzer for C, C ++, C #, Java source code and Java source code. Designed based on Stanford Checker [3] .
- Coverity Code Advisor on Demand is a cloud version of the Coverity Code Advisor .
- Coverity Scan is a cloud based application for analyzing open source software. At the time of 2016, over 4000 projects are being analyzed.
- Coverity Test Advisor - a series of products to identify software testing problems.
- Seeker is an online product security test application.
Use
Under a contract with the US Department of National Security , with the help of Coverity, over 150 open source projects were checked for errors [4] , more than 6 thousand errors were corrected in 53 projects [5] [6] .
The US National Highway Traffic Safety Administration used the tool in 2010–2011, investigating reports of unintended acceleration of Toyota vehicles [7] [8] .
CERN used the tool, checking the software of the Large Hadron Collider [9] [10] .
NASA's Jet Propulsion Laboratory used the software to test the source codes of the Curiosity rover [11] .
Awards Award
In October 2008, the MIT Technology Review committee added co-founder Seth Hallem to the list of innovators under 35 [12] .
In 2009–2011, Coverity was included in the Deloitte Technology Fast 500 [13] [14] .
In May 2012, Coverity becomes the laureate of the CODiE Award for Best Software Development Solution [15] .
Notes
- ↑ Krill, Paul Coverity buys Solidware to boost code analysis . Infoworld.com (June 30, 2008). The appeal date is January 29, 2011. Archived October 10, 2008.
- ↑ Synopsys Security Software with Coverity Acquisition . PR Newswire (February 19, 2014). The appeal date is February 20, 2014.
- F F F in in in Using Using Using Using Cover Cover Cover Cover Cover Cover Cover Cover Cover Cover Cover
- ↑ The open source results Archived copy dated April 1, 2016 at Wayback Machine on scan.coverity.com
- ↑ Open source one year results on scan.coverity.com
- ↑ Archived copy . The date of circulation is May 4, 2006. Archived June 14, 2009. "LAMP lights the way to open source security"
- ↑ “US Used Key Tools for Examine Toyota Acceleration-Related Software” Archived May 26, 2013.
- ↑ "Technical Support for Unintended Acceleration Investigation"
- ↑ "CERN Chooses CoverCore to Ensure Accuracy of Large Hadron Collider Software"
- ↑ "Improving Scientific Research: CERN and Coverity Static Analysis"
- ↑ "Curiosity's Space Doctors' Coverity: Mars Rover On Bug Hunting In Space"
- ↑ TR35: Seth Hallem, 28 . Technology Review. The appeal date is January 29, 2011.
- ↑ 2009 Technology Fast 500 Ranking | Technology Fast 500 | Deloitte LLP . Deloitte.com (September 23, 2010). The appeal date is November 28, 2011. Archived October 26, 2011.
- Ity Coverity Named One of the Fastest Growing Companies in North America . California: PR Newswire (October 20, 2011). The appeal date is May 4, 2012.
- ↑ Coverity Wins SIIA CODiE Award for Best Software Development Solution . California: Coverity (May 11, 2012). The appeal date is December 5, 2012.
Links
- Software Testing and Static Analysis Tools . Coverity's official website .