Coverity
| Coverity, Inc. | |
|---|---|
| Тип | Частная компания |
| Дата основания | ноябрь 2002 ( 2002-11 ) |
| Расположение | Сан-Франциско, США |
| Ключевые фигуры | Andreas Kuehlmann (SVP & GM) |
| Отрасль | Разработка программного обеспечения |
| Продукция | Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker |
| Число сотрудников | 250+ |
| Сайт | coverity.com |
Coverity — пакет программного обеспечения, состоящий из статического и динамического анализаторов кода, принадлежащий компании «Synopsys». До приобретения Synopsys компания Coverity располагалась в лаборатории Программное обеспечение ищет ошибки и недочёты в безопасности исходных кодах программ, написанных на Си, C++, Java, C# и JavaScript. Стэнфордского университета в Калифорнии. В июне 2008 года компания поглотила Solidware Technologies. В феврале 2014 года были подписаны бумаги о продаже компании Synopsys за 350 млн долларов США.
Программы в пакете
Coverity Code Advisor — статический анализатор кода для исходных кодов на Си, C++, C#, Java и JavaScript. Разработан на основе Stanford Checker. Coverity Code Advisor on Demand облачная версия Coverity Code Advisor. Coverity Scan — облачное приложение для анализа открытого программного обеспечения. На момент 2016 года, анализируется свыше 4000 проектов. Coverity Test Advisor — серия продуктов, для выявления проблем тестирования программного обеспечения. Seeker — приложение интерактивного теста безопасности продукта.
Использование
Согласно контракту с Департаментом национальной безопасности США, при помощи Coverity проверили более 150 проектов с открытым исходным кодом на наличие ошибок, было исправлено более 6 тысяч ошибок в 53 проектах.
Администрация национальной безопасности дорожного движения США использовала инструмент в 2010—2011 годах, расследуя сообщения о непреднамеренном ускорении автомобилей Toyota.
ЦЕРН использовал инструмент, проверяя программное обеспечение Большого адронного коллайдера.
Лаборатория реактивного движения НАСА использовала ПО для тестирования исходных кодов марсохода Curiosity.
Награждения
В октябре 2008 комитет MIT Technology Review добавила сооснователя Сета Халема (Seth Hallem) в список инноваторов младше 35.
В 2009—2011 годах Coverity включался в список Deloitte «Technology Fast 500».
В мае 2012 года Coverity становится лауреатом премии «CODiE Award for Best Software Development Solution».
Примечания
- Krill: Coverity buys Solidware to boost code analysis — http://infoworld.com/article/08/06/30/Coverity-buys-Solidware-to-boost-code-analysis_1.html
- http://infoworld.com/article/08/06/30/Coverity-buys-Solidware-to-boost-code-analysis_1.html
- https://web.archive.org/web/20081010164925/http://www.infoworld.com/article/08/06/30/Coverity-buys-Solidware-to-boost-code-analysis_1.html
- Synopsys Enters Software Quality and Security Market with Coverity Acquisition — http://www.prnewswire.com/news-releases/synopsys-enters-software-quality-and-security-market-with-coverity-acquisition-246221391.html
- http://www.prnewswire.com/news-releases/synopsys-enters-software-quality-and-security-market-with-coverity-acquisition-246221391.html
- https://web.archive.org/web/20140223140501/http://www.prnewswire.com/news-releases/synopsys-enters-software-quality-and-security-market-with-coverity-acquisition-246221391.html
- "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" — http://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext
- http://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext
- https://web.archive.org/web/20170607155222/https://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext
- http://scan.coverity.com/all-projects.html
- The open source results — http://scan.coverity.com/all-projects.html on scan.coverity.com
- http://go.coverity.com/rs/157-LQW-289/images/2014-Coverity-Scan-Report.pdf
- Open source one year results — http://go.coverity.com/rs/157-LQW-289/images/2014-Coverity-Scan-Report.pdf on scan.coverity.com
- Archived copy — http://www.zdnetasia.com/news/security/0,39044215,39315781,00.htm
- http://www.zdnetasia.com/news/security/0,39044215,39315781,00.htm
- https://web.archive.org/web/20090614061139/http://www.zdnetasia.com/news/security/0%2C39044215%2C39315781%2C00.htm
- «LAMP lights the way in open-source security»
- http://www.softwaremag.com/content/ContentCT.asp?P=3169
- https://web.archive.org/web/20130526101953/http://www.softwaremag.com/content/ContentCT.asp?P=3169
- «U.S. Used Key Tools to Examine Toyota Acceleration-Related Software» — http://www.softwaremag.com/content/ContentCT.asp?P=3169
- «Technical Support to the National Highway Traffic Safety Administration on the Reported Toyota Motor Corporation Unintended Acceleration Investigation» — http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_report.pdf
- http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_report.pdf
- https://web.archive.org/web/20161216122147/http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_report.pdf
- "CERN Chooses Coverity to Ensure Accuracy of Large Hadron Collider Software" — http://www.coverity.com/company/press-releases/read/cern-chooses-coverity-to-ensure-accuracy-of-large-hadron-collider-software-html
- http://www.coverity.com/company/press-releases/read/cern-chooses-coverity-to-ensure-accuracy-of-large-hadron-collider-software-html
- https://web.archive.org/web/20130311072520/http://www.coverity.com/company/press-releases/read/cern-chooses-coverity-to-ensure-accuracy-of-large-hadron-collider-software-html
- "Improving Scientific Research: CERN and Coverity Static Analysis" — https://www.youtube.com/watch?v=0g477Mhif0k
- https://www.youtube.com/watch?v=0g477Mhif0k
- https://web.archive.org/web/20161204141138/https://www.youtube.com/watch?v=0g477Mhif0k
- "Coverity: Mars Rover Curiosity's 'Space Doctors' On Bug Hunting In Space" — http://www.huffingtonpost.co.uk/2012/09/27/curiositys-doctors-mars-rover-coverity_n_1919115.html
- http://www.huffingtonpost.co.uk/2012/09/27/curiositys-doctors-mars-rover-coverity_n_1919115.html
- https://web.archive.org/web/20160304212615/http://www.huffingtonpost.co.uk/2012/09/27/curiositys-doctors-mars-rover-coverity_n_1919115.html
- TR35: Seth Hallem, 28 — http://www.technologyreview.com/tr35/Profile.aspx?Cand=T&TRID=712
- http://www.technologyreview.com/tr35/Profile.aspx?Cand=T&TRID=712
- https://web.archive.org/web/20110608015130/http://www.technologyreview.com/tr35/Profile.aspx?Cand=T&TRID=712
- 2009 Technology Fast 500 Ranking | Technology Fast 500 | Deloitte LLP — http://www.deloitte.com/assets/Dcom-UnitedStates/Local%20Assets/Documents/TMT_us_tmt/us_tmt_Fast500winnersbyrank_101509.pdf
- http://www.deloitte.com/assets/Dcom-UnitedStates/Local%20Assets/Documents/TMT_us_tmt/us_tmt_Fast500winnersbyrank_101509.pdf
- https://web.archive.org/web/20111026080920/http://www.deloitte.com/assets/Dcom-UnitedStates/Local%20Assets/Documents/TMT_us_tmt/us_tmt_Fast500winnersbyrank_101509.pdf
- Coverity Named One of the Fastest Growing Companies in North America — http://www.prnewswire.com/news-releases/coverity-named-one-of-the-fastest-growing-companies-in-north-america-on-deloittes-2011-technology-fast-500-132245658.html
- http://www.prnewswire.com/news-releases/coverity-named-one-of-the-fastest-growing-companies-in-north-america-on-deloittes-2011-technology-fast-500-132245658.html
- https://web.archive.org/web/20111021071608/http://www.prnewswire.com/news-releases/coverity-named-one-of-the-fastest-growing-companies-in-north-america-on-deloittes-2011-technology-fast-500-132245658.html
- Coverity Wins SIIA CODiE Award for Best Software Development Solution — http://www.coverity.com/company/press-releases/read/coverity-wins-siia-codie-award-for-best-software-development-solution-html
- http://www.coverity.com/company/press-releases/read/coverity-wins-siia-codie-award-for-best-software-development-solution-html
- https://web.archive.org/web/20121123075718/http://www.coverity.com/company/press-releases/read/coverity-wins-siia-codie-award-for-best-software-development-solution-html
Ссылки
- Software Testing and Static Analysis Tools — https://www.coverity.com
- https://www.coverity.com
- https://web.archive.org/web/20160605142442/http://www.coverity.com/