Покровительство - Coverity
| Тип | Общественные |
|---|---|
| Промышленность | Тестирование безопасности , Статическая программа анализа , разработки программного обеспечения |
| Основан | Ноябрь 2002 г. |
| Судьба | Приобретена Synopsys в 2014 г. |
| Штаб-квартира | Сан-Франциско, Калифорния |
Ключевые люди |
Энди Чоу (соучредитель) Андреас Кюльманн (старший вице-президент и генеральный директор) |
| Продукты | Советник по Coverity Code, Советник по Coverity Code по запросу, Coverity Scan, Советник по тестированию Coverity, Искатель |
Количество работников |
250+ |
| Родитель | Synopsys, Inc. |
| Веб-сайт | synopsys |
Coverity - это запатентованный инструмент статического анализа кода от Synopsys . Этот продукт позволяет инженерам и командам безопасности находить и исправлять программные дефекты.
До приобретения Synopsys Coverity была организацией, основанной в Лаборатории компьютерных систем Стэнфордского университета в Пало-Альто, Калифорния, со штаб-квартирой в Сан-Франциско . В июне 2008 года Coverity приобрела Solidware Technologies. А в феврале 2014 года Coverity объявила о соглашении о приобретении компании Synopsys , занимающейся автоматизацией электронного проектирования , за 350 миллионов долларов без учета наличных средств.
Продукты
Coverity - это инструмент статического анализа кода для C , C ++ , C # , Java , JavaScript , PHP , Python , .NET , ASP.NET , Objective-C , Go , JSP, Ruby , Swift , Fortran , Scala , VB.NET , ioS. , и Машинопись. Он также поддерживает более 70 различных фреймворков для Java, JavaScript, C # и других языков.
Coverity Scan - это бесплатный облачный сервис статического анализа для сообщества разработчиков ПО с открытым исходным кодом .
Приложения
По контракту с Министерством внутренней безопасности США в 2006 году этот инструмент использовался для проверки более 150 приложений с открытым исходным кодом на наличие ошибок; В 53 проектах было исправлено 6000 ошибок, обнаруженных при сканировании.
Национальное управление безопасности дорожного движения использовало этот инструмент в своем расследовании в 2010–2011 годах сообщений о внезапном непреднамеренном ускорении в автомобилях Toyota. Этот инструмент использовался ЦЕРН в программном обеспечении Большого адронного коллайдера и в Лаборатории реактивного движения НАСА при разработке программного обеспечения для полета марсохода Curiosity .
