Покровительство - Coverity

Coverity, Inc. - компания Synopsys
Общественные
ПромышленностьТестирование безопасности, Статический анализ программ, Разработка программного обеспечения
СудьбаПриобретено Synopsys в 2014
ОснованНоябрь 2002 (2002-11)
Штаб-квартираСан-Франциско, Калифорния
Ключевые люди
Энди Чоу (соучредитель) Андреас Кюльманн (старший вице-президент и генеральный директор)
ПродуктыСоветник по Coverity Code, Советник по Coverity Code по запросу, Coverity Scan, Советник по тестированию Coverity, Искатель
Количество работников
250+
РодительSynopsys, Inc.
Интернет сайтсинопсис.com/ целостность программного обеспечения.html

Покровительство это проприетарный статический анализ кода инструмент из Synopsys. Этот продукт позволяет инженерам и командам безопасности находить и исправлять программные дефекты.

До его приобретения Synopsys, Coverity была организацией, основанной в Лаборатории компьютерных систем в Стэндфордский Университет в Пало-Альто, Калифорния, со штаб-квартирой в Сан-Франциско. В июне 2008 года Coverity приобрела Solidware Technologies.[1] А в феврале 2014 года Coverity объявила о соглашении о приобретении Synopsys, автоматизация проектирования электроники компании за 350 миллионов долларов без учета наличных средств.[2]

Продукты

Покровительство это статический анализ кода инструмент для C, C ++, C #, Ява, JavaScript, PHP, Python, .Net Core, ASP.NET, Цель-C, Идти, JSP, Рубин, Swift, Фортран, Scala, VB.NET, ioS, и Машинопись. Он также поддерживает более 70 различных рамки для Java, JavaScript, C # и других языков.[3]

Coverity Scan это бесплатный статический анализ облачный сервис для Открытый исходный код сообщество.

Приложения

Под Министерство внутренней безопасности США контракт в 2006 году, инструмент был использован для проверки более 150 приложений с открытым исходным кодом на наличие ошибок; В 53 проектах было исправлено 6000 ошибок, обнаруженных при сканировании.[4]

Национальная администрация безопасности дорожного движения использовали этот инструмент в своем расследовании сообщений о внезапное непреднамеренное ускорение в автомобилях Toyota.[5][6] Инструмент использовался ЦЕРН о программном обеспечении, используемом в Большой адронный коллайдер[7][8] и в НАСА Лаборатория реактивного движения во время разработки полетного программного обеспечения марсоход Любопытство.[9]

Награды

использованная литература

  1. ^ Криль, Пол (30.06.2008). «Coverity покупает Solidware для ускорения анализа кода». Infoworld.com. Архивировано из оригинал на 2008-10-10. Получено 2011-01-29.
  2. ^ «Synopsys выходит на рынок качества программного обеспечения и безопасности с приобретением Coverity». PR Newswire. 2014-02-19. Получено 2014-02-20.
  3. ^ «Лист данных статического анализа покрытия» (PDF). Synopsys.com. Получено 2019-07-15.
  4. ^ [«Архивная копия». Архивировано из оригинал 14 июня 2009 г.. Получено 4 мая, 2006.CS1 maint: заархивированная копия как заголовок (ссылка на сайт)«LAMP освещает путь к безопасности открытого исходного кода»] - ZDNet
  5. ^ «США использовали ключевые инструменты для изучения программного обеспечения Toyota, связанного с ускорением» В архиве 2013-05-26 в Wayback Machine
  6. ^ «Техническая поддержка Национальной администрации безопасности дорожного движения в расследовании сообщения о непреднамеренном ускорении Toyota Motor Corporation»
  7. ^ «ЦЕРН выбирает покрытие для обеспечения точности программного обеспечения для большого адронного коллайдера»
  8. ^ «Улучшение научных исследований: ЦЕРН и статический анализ покрытия»
  9. ^ «Coverity:« Космические врачи »марсохода Curiosity о поиске насекомых в космосе»