ГраммаТех
 | |
| Тип компании | Частный |
|---|---|
| Промышленность | Качество программного обеспечения |
| Штаб-квартира | Итака, Нью-Йорк |
Ключевые люди | Генеральный директор: Дэн Гудвин |
| Веб-сайт | www |
GrammaTech — компания, предоставляющая услуги по исследованию кибербезопасности, базирующаяся в Итаке, штат Нью-Йорк . Компания была основана в 1988 году как технологическое подразделение Корнелльского университета. Услуги по исследованию программного обеспечения GrammaTech включают следующее: анализ программного обеспечения, обнаружение и устранение уязвимостей, бинарное преобразование и усиление защиты, а также автономные вычисления. В сентябре 2023 года Battery Ventures приобрела подразделение программных продуктов GrammaTech, включая линейки продуктов CodeSonar и CodeSentry. Таким образом будет создана новая независимая организация, которая будет работать под названием CodeSecure, Inc. со штаб-квартирой в Бетесде, штат Мэриленд.
Исследовать
[ редактировать ]Исследовательское подразделение GrammaTech реализует проекты для частных подрядчиков, в том числе для нескольких правительственных агентств США, таких как НАСА , NSF и многих подразделений Министерства обороны . Исследования GrammaTech сосредоточены как на статическом, так и на динамическом анализе , как исходного кода, так и двоичных файлов.
Компания GrammaTech приняла участие и заняла 2-е место в DARPA 2016 года конкурсе Cyber Grand Challenge , заработав 1 миллион долларов в составе команды TECHx. [1] Компания GrammaTech возглавила команду TECHx, созданную в сотрудничестве с Университетом Вирджинии, используя совместно разработанную ими систему киберрассуждения под названием Xandra. [2]
История
[ редактировать ]GrammaTech — это дочерняя компания Корнелльского университета , созданная в 1988 году, где ее основатели в 1978 году разработали раннюю интегрированную среду разработки (синтезатор Корнеллских программ). [3] ) и систему для создания языковых сред на основе спецификаций атрибутивных грамматик в 1982 году (Synthesizer Generator [4] [5] ). Коммерческие системы, реализованные с использованием Synthesizer Generator, включают Ada проверки систему ORA. (Пенелопа [6] ), Строгий подход Terma к разработке промышленного программного обеспечения (Поднимать [7] ), и специалист Лорала по проверке рекомендаций SPC по качеству и стилю для Ada. [8] Сооснователи GramaTech Том Репс и Тим Тейтельбаум получили премию 2010 года. АСМ СИГСОФТ Премия за ретроспективное воздействие [1] за работу над синтезатором-генератором. [9]
GrammaTech коммерциализировала инструмент разделения программ штата Висконсин под названием CodeSurfer для C и C++ в 1999 году. CodeSonar для C и C++, инструмент статического анализа , доступен с 2005 года. Соучредитель GrammaTech Репс и два других филиала компании приняли участие в ACM SIGSOFT 2011 года. Премия за ретроспективное воздействие [2] за статью, описывающую исследование срезов в Висконсине. [10]
GrammaTech и Университет Висконсина сотрудничают с 2001 года в разработке инструментов анализа , обратного проектирования и защиты от несанкционированного доступа для двоичных исполняемых файлов . Побочными продуктами этого исследования являются CodeSurfer/x86. [11] (версия CodeSurfer для набора инструкций Intel x86 ), CodeSonar/x86 (инструмент поиска ошибок и уязвимостей для урезанных исполняемых файлов) и подход к созданию таких систем автоматически на основе формальных семантических описаний архитектур с произвольным набором команд . [12] Позже это исследование было коммерциализировано в CodeSonar for Binaries и CodeSentry, инструменте анализа композиции программного обеспечения.
В 2019 году GramaTech была приобретена Five Points Capital. [13]
В сентябре 2023 года Grammatech объявила о выделении части своего подразделения программных продуктов, в частности линеек продуктов CodeSonar и CodeSentry, венчурной фирме Battery Ventures . В результате сделки будет создана новая независимая организация, которая будет работать под названием CodeSecure, Inc. со штаб-квартирой в Бетесде, штат Мэриленд. [14] В рамках выделения Grammatech назначила Дэниела Гудвина генеральным директором, который будет руководить корпорацией в будущем. Гудвин, который ранее был генеральным менеджером исследовательского подразделения Grammatech, имеет опыт работы в области кибербезопасности, программного обеспечения, систем, FPGA, микроэлектроники, телекоммуникаций, сетей и аппаратного обеспечения в таких областях, как обеспечение информации, SIGINT и платформенные миссии. [15]
Ссылки
[ редактировать ]- ^ «Кибер-гранд-вызов» . ДАРПА . Проверено 29 февраля 2020 г.
- ^ «Хакеры больше не должны быть людьми. Эта битва ботов доказывает это» . Проводной . 5 августа 2016 г.
- ^ Тейтельбаум, Т.; Т. Репс (сентябрь 1981 г.). «Программный синтезатор Корнелла: среда синтаксически-ориентированного программирования» . Коммуникации АКМ . 24 (9): 563–573. дои : 10.1145/358746.358755 . S2CID 14317073 .
- ^ Репс, Т. (1984). Создание языковой среды . Кембридж, Массачусетс: MIT Press. ISBN 978-0-262-18115-0 . (Награжден премией за докторскую диссертацию ACM 1983 года .).
- ^ Репс, Томас В.; Тейтельбаум, Тим (1988). Генератор синтезатора: система создания языковых редакторов . Кембридж, Массачусетс: Springer-Verlag. ISBN 978-0-387-96857-5 .
- ^ Гуаспари, Д. (1989). «Материалы конференции по технологии Tri-Ada '89 Ada в контексте: применение, разработка и развертывание - TRI-Ada '89». ТРИ-Ада '89: Материалы конференции по Три-Аде '89 . Питтсбург, Пенсильвания: ACM . стр. 216–224. дои : 10.1145/74261.74277 . ISBN 0897913299 .
- ^ Языковая группа RAISE, КОРПОРАТИВНАЯ (1993). Язык спецификации RAISE . Река Аппер-Сэддл, Нью-Джерси: Prentice-Hall, Inc. ISBN 978-0-13-752833-2 .
- ^ Консорциум по производительности программного обеспечения (1995). Руководство по качеству и стилю Ada 95: Рекомендации для профессиональных программистов (SPC-94093-CMC, версия 01.00.10, изд.). Херндон, Вирджиния: SPC.
- ^ Репс, Т.; Тейтельбаум, Т. (1984). «Синтезатор-генератор» . В СДУ 1 Учеб. первого симпозиума ACM SIGSOFT/SIGPLAN по разработке программного обеспечения, посвященного практическим средам разработки программного обеспечения .
- ^ Репс, Т.; Горовиц, С.; Сагив, М.; Розай, Г. (декабрь 1994 г.). «Ускорение нарезки» (PDF) . Учеб. Второй симпозиум ACM SIGSOFT по основам программной инженерии . Новый Орлеан, Луизиана, США.
- ^ Балакришнан, Г.; Репс, Т. (2004). «Анализ доступа к памяти в исполняемых файлах x86» (PDF) . Учеб. Межд. Конф. по созданию компилятора . Нью-Йорк, штат Нью-Йорк: Springer-Verlag. стр. 5–23. (Награжден премией EAPLS за лучшую статью на ETAPS 2004.).
- ^ Лим, Дж.; Репс, Т. (апрель 2008 г.). «Система генерации статических анализаторов машинных инструкций» (PDF) . Учеб. Межд. Конф. по созданию компилятора (CC) . Нью-Йорк, штат Нью-Йорк: Springer-Verlag. (Награжден премией EAPLS за лучшую статью на ETAPS 2008.).
- ^ «Five Points Capital завершает приобретение GrammaTech» . Пиар-новости . 12 ноября 2019 г. . Проверено 14 мая 2020 г.
- ^ «Battery Ventures приобретает бизнес по производству программного обеспечения для тестирования безопасности приложений GrammaTech, образуя CodeSecure» . www.businesswire.com . 5 сентября 2023 г. . Проверено 7 сентября 2023 г.
- ^ «Знакомьтесь с нашими лидерами» . Грамматех . Проверено 7 сентября 2023 г.