GrammaTech - GrammaTech

GrammaTech, Inc.
Частный
ПромышленностьКачество программного обеспечения
Штаб-квартираИтака, Нью-Йорк
Ключевые люди
Учредители: Тим Тейтельбаум и Томас Репс
ТоварыCodeSonar, CodeSurfer
Интернет сайтwww.grammatech.com

GrammaTech является поставщиком инструментов для разработки программного обеспечения, базирующимся в Итака, Нью-Йорк. Компания была основана в 1988 году как технологическое подразделение Корнельского университета. Сейчас он разрабатывает CodeSonar, инструмент статического анализа исходного кода и двоичных файлов, а также проводит исследования кибербезопасности.

Товары

CodeSonar - это инструмент анализа исходного и двоичного кода, который выполняет межпроцедурный анализ всей программы на C, C ++, Ява, и двоичные исполняемые файлы. Он выявляет программные ошибки и уязвимости в программном обеспечении. CodeSonar используется в оборонной / аэрокосмической, медицинской, производственной, электронной, телекоммуникационной / цифровой и транспортной отраслях. Соединенные штаты. Управление по контролю за продуктами и лекарствами (FDA) Центр приборов и радиологического здоровья использует его для обнаружения дефектов в выставленных медицинских устройствах.[1][2]Соединенные штаты. Национальная администрация безопасности дорожного движения (НАБДД) и НАСА использовал его в Исследование внезапного непреднамеренного ускорения в электронных системах управления дроссельной заслонкой автомобилей Toyota.

CodeSurfer - это инструмент для понимания программ. Анализируются программные конструкции, включая директивы препроцессора, макросы и шаблоны C ++. CodeSurfer вычисляет множество представлений, которые могут быть изучены через графический интерфейс пользователя или доступны через дополнительный интерфейс программирования.

Исследование

Исследовательское подразделение GrammaTech реализует проекты для частных подрядчиков, включая несколько правительственных агентств США, таких как НАСА, то NSF, и многие филиалы Министерство обороны. Исследования GrammaTech сосредоточены на обоих статический анализ и динамический анализ, как в исходном коде, так и в двоичных файлах.

GrammaTech приняла участие и заняла 2 место в DARPA с Cyber ​​Grand Challenge, 2016, заработав 1 миллион долларов как Team TECHx.[3] GrammaTech возглавил Team TECHx, сотрудничество с Университетом Вирджинии, с использованием их совместно разработанной системы кибер-логики под названием Xandra.[4]

История

GrammaTech - это дочерняя компания 1988 г. Корнелл Университет, где его основатели разработали ранний Интегрированная среда развития в 1978 г. (синтезатор программы Cornell[5]) и систему генерации языковая среда из атрибут-грамматика спецификации 1982 г. (синтезатор-генератор[6][7]). Коммерческие системы, которые были реализованы с использованием генератора синтезаторов, включают ORA Ада проверка система (Пенелопа[8]),Terma's Строгий подход к промышленной разработке программного обеспечения (Raise[9]),и Loral's средство проверки Руководства по качеству и стилю SPC для Ada.[10]Соучредители GrammaTech Представители и Тейтельбаум получил 2010ACM SIGSOFT Премия Retrospective Impact [5] за их работу над синтезатором-генератором.[11]

GrammaTech коммерциализировала Висконсин Программа-нарезка Инструмент как CodeSurfer для C и C ++ в 1999 году. CodeSonar для C и C ++, который является приложением CodeSurfer / C, доступен с 2005 года. Соучредитель GrammaTech Представители и два других аффилированных лица компании участвовали в 2011 г. ACM SIGSOFT Премия Retrospective Impact [6] за их статью, описывающую исследование висконсинских срезов.[12]

GrammaTech и Университет Висконсина сотрудничают с 2001 года для разработки анализ, разобрать механизм с целью понять, как это работает, и анти-тампер инструменты для двоичные исполняемые файлы. Побочными продуктами этого исследования являются CodeSurfer / x86.[13] (версия CodeSurfer для Intel x86 набор инструкций), CodeSonar / x86 (инструмент для поиска ошибок и уязвимостей для удаленных исполняемых файлов) и подход к созданию таких систем автоматически из формальные семантические описания произвольных архитектуры наборов команд.[14]

В 2019 году GrammaTech была приобретена Five Points Capital.[15]

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

  1. ^ Куиннелл, Ричард А. (2008-03-06). «Статический анализ топчет ошибок». EETimes. Получено 2009-01-23.
  2. ^ Джетли, Рауль; Пол Андерсон (апрель 2008 г.). «Использование статического анализа для оценки программного обеспечения в медицинских устройствах» (PDF). Проектирование встроенных систем. United Business Media. Цитировать журнал требует | журнал = (помощь)[постоянная мертвая ссылка ]
  3. ^ "Cyber ​​Grand Challenge". DARPA. Получено 29 февраля, 2020.
  4. ^ «Хакерам больше не обязательно быть людьми. Битва с ботами доказывает это». Проводной. 2016-08-05.
  5. ^ Тейтельбаум, Т .; Т. Репс (сентябрь 1981 г.). «Корнельский программный синтезатор: среда программирования, ориентированная на синтаксис». Коммуникации ACM. 24 (9): 563–573. Дои:10.1145/358746.358755.
  6. ^ Репс, Т. (1984). Создание языковых сред. Кембридж, Массачусетс: M.I.T. Нажмите. ISBN  978-0-262-18115-0. (Награжден 1983 г. ACM Премия за докторскую диссертацию.).
  7. ^ Reps, Thomas W .; Тейтельбаум, Тим (1988). Генератор синтезатора: система для создания редакторов на основе языка. Кембридж, Массачусетс: Springer-Verlag. ISBN  978-0-387-96857-5.
  8. ^ Гуаспари, Д. (1989). «Пенелопа, система проверки Ады». TRI-Ada '89: Материалы конференции по Tri-Ada '89. Питтсбург, Пенсильвания: ACM. С. 216–224. Дои:10.1145/74261.74277.
  9. ^ Языковая группа RAISE, CORPORATE (1993). Язык спецификации RAISE. Река Аппер Сэдл, Нью-Джерси: Prentice-Hall, Inc. ISBN  978-0-13-752833-2.
  10. ^ Консорциум производительности программного обеспечения (1995). Руководство по качеству и стилю Ada 95: Рекомендации для профессиональных программистов (SPC-94093-CMC Версия 01.00.10 ред.). Херндон, Вирджиния: SPC.
  11. ^ Reps, T .; Тейтельбаум, Т. (1984). "Синтезатор-генератор [1] ". В SDE 1 Proc. первого симпозиума по разработке программного обеспечения ACM SIGSOFT / SIGPLAN по практическим средам разработки программного обеспечения.
  12. ^ Reps, T .; Horowitz, S .; Сагив, М .; Розай, Г. (декабрь 1994 г.). "Ускорение нарезки [2] ". Proc. Второй симпозиум ACM SIGSOFT по основам программной инженерии. Новый Орлеан, Лос-Анджелес, США.
  13. ^ Балакришнан, Г .; Репс, Т. (2004). "Анализ доступа к памяти в исполняемых файлах x86 [3] ". Proc. Int. Конф. по конструкции компилятора. Нью-Йорк, штат Нью-Йорк: Springer-Verlag. С. 5–23. (Награжден премией EAPLS Best Paper Award на ETAPS 2004.).
  14. ^ Lim, J .; Репс, Т. (апрель 2008 г.). «Система для создания статических анализаторов для машинных инструкций. [4] ". Proc. Int. Конф. по конструкции компилятора (CC). Нью-Йорк, штат Нью-Йорк: Springer-Verlag. (Награжден премией EAPLS Best Paper Award на ETAPS 2008.).
  15. ^ «Five Points Capital завершает приобретение GrammaTech». PR Newswire. 12 ноября 2019 г.. Получено 14 мая 2020.

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