Coverity

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Coverity, Inc.
Тип 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

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. Архивировано 23 февраля 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". Дата обращения: 29 ноября 2016. Архивировано 7 июня 2017 года.
  4. ↑ The open source results Архивная копия от 1 апреля 2016 на Wayback Machine on scan.coverity.com
  5. ↑ Open source one year results Архивная копия от 23 июня 2017 на Wayback Machine 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». Дата обращения: 29 ноября 2016. Архивировано 16 декабря 2016 года.
  9. ↑ "CERN Chooses Coverity to Ensure Accuracy of Large Hadron Collider Software". Дата обращения: 29 ноября 2016. Архивировано 11 марта 2013 года.
  10. ↑ "Improving Scientific Research: CERN and Coverity Static Analysis". Дата обращения: 29 ноября 2016. Архивировано 4 декабря 2016 года.
  11. ↑ "Coverity: Mars Rover Curiosity's 'Space Doctors' On Bug Hunting In Space". Дата обращения: 29 ноября 2016. Архивировано 4 марта 2016 года.
  12. ↑ TR35: Seth Hallem, 28. Technology Review. Дата обращения: 29 января 2011. Архивировано 8 июня 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 октября 2011). Дата обращения: 4 мая 2012. Архивировано 21 октября 2011 года.
  15. ↑ Coverity Wins SIIA CODiE Award for Best Software Development Solution. California: Coverity (11 мая 2012). Дата обращения: 5 декабря 2012. Архивировано 23 ноября 2012 года.

Ссылки[править | править код]

Источник — https://ru.wikipedia.org/w/index.php?title=Coverity&oldid=132999185