Программное обеспечение Red Lizard - Википедия - Red Lizard Software

Программное обеспечение Red Lizard
ТипСобственная компания с ограниченной ответственностью
ПромышленностьПрограммного обеспечения
Основан2009
Штаб-квартира
Сидней
,
Австралия
ТоварыСтатический анализ Goanna
Количество работников
Нет данных
Интернет сайтwww.redlizards.com

Программное обеспечение Red Lizard была частным поставщиком программного обеспечения для инструментов статического анализа. Компания была основана в 2009 году как дочернее предприятие НИКТА, после четырех лет исследований. Штаб-квартира находится в Сиднее, Австралия. В декабре 2015 года компания была приобретена Synopsys.[1]

Товары

Goanna это статический анализ инструмент для C и C ++ исходный код. Он предоставляется либо как инструмент командной строки («Goanna Central»), либо как интеграция с Затмение или же Visual Studio называется "Goanna Studio". Goanna основан на проверка модели методы и выполняет автоматический анализ семантического кода для определения качества, а также безопасности программные ошибки.[2][3]

Рекомендации

  1. ^ Synopsys усиливает платформу обеспечения целостности программного обеспечения, приобретая Goanna Software, поставщика программного обеспечения для анализа статического кода, Декабрь 2015 г.
  2. ^ Ансгар Фенкер, Йорг Брауэр, Ральф Хуук, Шон Зеефрид.Goanna: Проверка синтаксической модели программного обеспечения.6-й Международный симпозиум по автоматизированным технологиям проверки и анализа (ATVA), Сеул, Корея, 20–23 октября 2008 г.
  3. ^ Ансгар Фенкер, Ральф Хуук, Патрик Джайе, Мишель Луссенбург и Феликс Раух. Программное обеспечение для проверки модели во время компиляции.Материалы 1-го Международного симпозиума IEEE & IFIP по теоретическим аспектам разработки программного обеспечения, Шанхай, Китай, 6–8 июня 2007 г.

внешняя ссылка