Coverity

Coverity — пакет программного обеспечения, состоящий из статического и динамического анализаторов кода, принадлежащий компании «Synopsys». Программное обеспечение ищет ошибки и недочёты в безопасности исходных кодах программ, написанных на Си, C++, Java, C# и JavaScript.

Coverity, Inc.
Файл:Coverity.png
Тип Private
Основание ноябрь 2002 (2002-11)
Причина упразднения Acquired by Synopsys
Расположение
Ключевые фигуры Andreas Kuehlmann (SVP & GM)
Отрасль Development testing
Продукция Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker
Число сотрудников 250+
Сайт coverity.com

До приобретения Synopsys компания Coverity располагалась в лаборатории Стэнфордского университета в Калифорнии. В июне 2008 года компания поглотила Solidware Technologies[1]. В феврале 2014 года были подписаны бумаги о продаже компании Synopsys за 350 млн долларов США[2].

Программы в пакете
  • Coverity Code Advisor — статический анализатор кода для исходных кодов на Си, C++, C#, Java и JavaScript. Разработан на основе Stanford Checker[3].
  • Coverity Code Advisor on Demand облачная версия Coverity Code Advisor.
  • Coverity Scan — облачное приложение для анализа открытого программного обеспечения. На момент 2016 года, анализируется свыше 4000 проектов.
  • Coverity Test Advisor — серия продуктов, для выявления проблем тестирования программного обеспечения.
  • Seeker — приложение интерактивного теста безопасности продукта.

Использование

Согласно контракту с Департаментом национальной безопасности США, при помощи Coverity проверили более 150 проектов с открытым исходным кодом на наличие ошибок[4], было исправлено более 6 тысяч ошибок в 53 проектах[5][6].

Администрация национальной безопасности дорожного движения США использовала инструмент в 2010—2011 годах, расследуя сообщения о непреднамеренном ускорении автомобилей Toyota[7][8].

ЦЕРН использовал инструмент, проверяя программное обеспечение Большого адронного коллайдера[9][10].

Лаборатория реактивного движения НАСА использовала ПО для тестирования исходных кодов марсохода Curiosity[11].

Награждения

В октябре 2008 комитет MIT Technology Review добавила сооснователя Сета Халема (Seth Hallem) в список инноваторов младше 35[12].

В 2009—2011 годах Coverity включался в список Deloitte «Technology Fast 500»[13][14].

В мае 2012 года Coverity становится лауреатом премии «CODiE Award for Best Software Development Solution»[15].

Примечания
  1. Krill, Paul Coverity buys Solidware to boost code analysis (англ.) (недоступная ссылка). Infoworld.com (30 июня 2008). Дата обращения: 29 января 2011. Архивировано 10 октября 2008 года.
  2. Synopsys Enters Software Quality and Security Market with Coverity Acquisition (англ.). PR Newswire (19 февраля 2014). Дата обращения: 20 февраля 2014.
  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. The open source results Архивная копия от 1 апреля 2016 на Wayback Machine on scan.coverity.com
  5. Open source one year results on scan.coverity.com
  6. Archived copy (недоступная ссылка). Дата обращения: 4 мая 2006. Архивировано 14 июня 2009 года. «LAMP lights the way in open-source security»
  7. «U.S. Used Key Tools to Examine Toyota Acceleration-Related Software» Архивировано 26 мая 2013 года.
  8. «Technical Support to the National Highway Traffic Safety Administration on the Reported Toyota Motor Corporation Unintended Acceleration Investigation»
  9. "CERN Chooses Coverity to Ensure Accuracy of Large Hadron Collider Software"
  10. "Improving Scientific Research: CERN and Coverity Static Analysis"
  11. "Coverity: Mars Rover Curiosity's 'Space Doctors' On Bug Hunting In Space"
  12. TR35: Seth Hallem, 28. Technology Review. Дата обращения: 29 января 2011.
  13. 2009 Technology Fast 500 Ranking | Technology Fast 500 | Deloitte LLP (недоступная ссылка). Deloitte.com (23 сентября 2010). Дата обращения: 28 ноября 2011. Архивировано 26 октября 2011 года.
  14. Coverity Named One of the Fastest Growing Companies in North America. California: PR Newswire (20 October 2011). Дата обращения: 4 мая 2012.
  15. Coverity Wins SIIA CODiE Award for Best Software Development Solution. California: Coverity (11 May 2012). Дата обращения: 5 декабря 2012.

Ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.