Interested Article - Coverity

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

До приобретения Synopsys компания Coverity располагалась в лаборатории Стэнфордского университета в Калифорнии. В июне 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 комитет добавила сооснователя Сета Халема (Seth Hallem) в список инноваторов младше 35 .

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

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

Примечания

Krill, Paul (англ.) . Infoworld.com (30 июня 2008). Дата обращения: 29 января 2011. Архивировано из 10 октября 2008 года.
(англ.) . PR Newswire (19 февраля 2014). Дата обращения: 20 февраля 2014. 23 февраля 2014 года.
. Дата обращения: 29 ноября 2016. 7 июня 2017 года.
от 1 апреля 2016 на Wayback Machine on scan.coverity.com
от 23 июня 2017 на Wayback Machine on scan.coverity.com
. Дата обращения: 4 мая 2006. Архивировано из 14 июня 2009 года. «LAMP lights the way in open-source security»
26 мая 2013 года.
. Дата обращения: 29 ноября 2016. 16 декабря 2016 года.
. Дата обращения: 29 ноября 2016. 11 марта 2013 года.
. Дата обращения: 29 ноября 2016. 4 декабря 2016 года.
. Дата обращения: 29 ноября 2016. 4 марта 2016 года.
. Technology Review. Дата обращения: 29 января 2011. 8 июня 2011 года.
. Deloitte.com (23 сентября 2010). Дата обращения: 28 ноября 2011. Архивировано из 26 октября 2011 года.
. California: PR Newswire (20 октября 2011). Дата обращения: 4 мая 2012. 21 октября 2011 года.
. California: Coverity (11 мая 2012). Дата обращения: 5 декабря 2012. 23 ноября 2012 года.