ГраммаТех

ГраммаТех, Инк.
Тип компанииЧастный
ПромышленностьКачество программного обеспечения
Штаб-квартираИтака, Нью-Йорк
Ключевые люди
Генеральный директор: Дэн Гудвин
Веб-сайтwww.grammatech.com

GrammaTech — это компания по исследованию кибербезопасности, базирующаяся в Итаке, штат Нью-Йорк . Компания была основана в 1988 году как технологическое ответвление Корнелльского университета. Услуги по исследованию программного обеспечения GrammaTech включают следующее: анализ программного обеспечения, обнаружение и устранение уязвимостей, двоичное преобразование и укрепление, а также автономные вычисления. В сентябре 2023 года Battery Ventures приобрела подразделение программных продуктов GrammaTech, включая линейки продуктов CodeSonar и CodeSentry. Таким образом, была создана новая независимая организация, которая будет работать под названием CodeSecure, Inc. и иметь штаб-квартиру в Бетесде, штат Мэриленд.

Исследовать

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

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

История

GrammaTech — это ответвление 1988 года от Корнелльского университета , где его основатели разработали раннюю интегрированную среду разработки в 1978 году (Cornell Program Synthesizer [3] ) и систему для генерации языковых сред из спецификаций атрибутной грамматики в 1982 году (Synthesizer Generator [4] [5] ). Коммерческие системы, которые были реализованы с использованием Synthesizer Generator, включают систему проверки Ada от ORA (Penelope [6] ), Rigorous Approach to Industrial Software Engineering от Terma (Raise [7] ) и средство проверки SPC Quality and Style Guidelines для Ada от Loral . [8] Соучредители GrammaTech Том Репс и Тим Тейтельбаум получили в 2010 году премию ACM SIGSOFT Retrospective Impact Award [1] за свою работу над Synthesizer Generator. [9]

Компания GrammaTech вывела на рынок инструмент для слайсинга программ Wisconsin под названием CodeSurfer для C и C++ в 1999 году. Инструмент статического анализа CodeSonar для C и C++ доступен с 2005 года. Соучредитель GrammaTech Репс и два других сотрудника компании разделили премию ACM SIGSOFT Retrospective Impact Award 2011 года [2] за свою работу, описывающую исследование слайсинга в Висконсине. [10]

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

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

В сентябре 2023 года Grammatech объявила, что выделяет часть своего подразделения программных продуктов, в частности линейки продуктов CodeSonar и CodeSentry, венчурной компании Battery Ventures . Сделка создает новую независимую организацию, которая будет работать под названием CodeSecure, Inc. и иметь штаб-квартиру в Бетесде, штат Мэриленд. [14] В рамках выделения Grammatech назначила Дэниела Гудвина генеральным директором, который будет руководить корпорацией в будущем. Гудвин, который ранее был генеральным директором исследовательского подразделения Grammatech, имеет опыт в области кибербезопасности, программного обеспечения, систем, ПЛИС, микроэлектроники, телекоммуникаций, сетей и оборудования в таких областях, как обеспечение информации, SIGINT и миссии платформ. [15]

Ссылки

  1. ^ "Cyber ​​Grand Challenge". DARPA . Получено 29 февраля 2020 г.
  2. ^ «Хакерам больше не нужно быть людьми. Эта битва ботов это доказывает». Wired . 5 августа 2016 г.
  3. ^ Тейтельбаум, Т.; Т. Репс (сентябрь 1981 г.). «Синтезатор программ Корнелла: среда программирования, управляемая синтаксисом». Сообщения ACM . 24 (9): 563– 573. doi : 10.1145/358746.358755 . S2CID  14317073.
  4. ^ Репс, Т. (1984). Создание сред на основе языка . Кембридж, Массачусетс: The MIT Press. ISBN 978-0-262-18115-0(Награжден премией ACM за докторскую диссертацию 1983 года.)
  5. ^ Репс, Томас В.; Тейтельбаум, Тим (1988). Генератор синтезатора: система для создания редакторов на основе языка . Кембридж, Массачусетс: Springer-Verlag. ISBN 978-0-387-96857-5.
  6. ^ Guaspari, D. (1989). "Труды конференции Tri-Ada '89 Технология Ada в контексте: применение, разработка и развертывание - TRI-Ada '89". TRI-Ada '89: Труды конференции Tri-Ada '89 . Питтсбург, Пенсильвания: ACM . стр.  216–224 . doi : 10.1145/74261.74277 . ISBN 0897913299.
  7. ^ Группа языка RAISE, КОРПОРАТИВНАЯ (1993). Язык спецификации RAISE . Аппер Сэддл Ривер, Нью-Джерси: Prentice-Hall, Inc. ISBN 978-0-13-752833-2.
  8. ^ Software Productivity Consortium (1995). Руководство по качеству и стилю Ada 95: Руководство для профессиональных программистов (SPC-94093-CMC Версия 01.00.10 ред.). Херндон, Вирджиния: SPC.
  9. ^ Репс, Т.; Тейтельбаум, Т. (1984). "Генератор синтезатора". В SDE 1 Proc. первого симпозиума ACM SIGSOFT/SIGPLAN по программной инженерии по практическим средам разработки программного обеспечения .
  10. ^ Репс, Т.; Хоровиц, С.; Сагив, М.; Розай, Г. (декабрь 1994 г.). «Ускорение нарезки» (PDF) . Труды. Второй симпозиум ACM SIGSOFT по основам программной инженерии . Новый Орлеан, Луизиана, США.
  11. ^ Балакришнан, Г.; Репс, Т. (2004). «Анализ доступа к памяти в исполняемых файлах x86» (PDF) . Proc. Int. Conf. on Compiler Construction . New York, NY: Springer-Verlag. стр.  5–23 . (Награжден премией EAPLS за лучшую статью на ETAPS 2004.).
  12. ^ Lim, J.; Reps, T. (апрель 2008 г.). "Система генерации статических анализаторов для машинных инструкций" (PDF) . Proc. Int. Conf. on Compiler Construction (CC) . New York, NY: Springer-Verlag. (Награжден премией EAPLS Best Paper Award на ETAPS 2008.).
  13. ^ "Five Points Capital завершает приобретение GrammaTech". PR Newswire . 12 ноября 2019 г. Получено 14 мая 2020 г.
  14. ^ «Battery Ventures приобретает бизнес GrammaTech по разработке программного обеспечения для тестирования безопасности приложений, формируя CodeSecure». www.businesswire.com . 5 сентября 2023 г. . Получено 7 сентября 2023 г. .
  15. ^ "Познакомьтесь с нашими лидерами". Grammatech . Получено 7 сентября 2023 г. .
  • Официальный сайт
Взято с "https://en.wikipedia.org/w/index.php?title=GrammaTech&oldid=1273916619"