Coverity

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Coverity
Тип

коммерческая организация

Основание

ноябрь 2002 (2002-11)

Причина упразднения

Acquired by Synopsys

Расположение

San Francisco, CA

Ключевые фигуры

Andreas Kuehlmann (SVP & GM)

Отрасль

Development testing

Продукция

Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker

Число сотрудников

250+

Сайт

coverity.com

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

До приобретения 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 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.

Ссылки[править | править вики-текст]