Русская Википедия:Coverity
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].
Примечания
Ссылки
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ The open source results Шаблон:Wayback on scan.coverity.com
- ↑ Open source one year results Шаблон:Wayback on scan.coverity.com
- ↑ Шаблон:Cite web «LAMP lights the way in open-source security»
- ↑ «U.S. Used Key Tools to Examine Toyota Acceleration-Related Software» Шаблон:Webarchive
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
