GrammaTech

GrammaTech是一家网络安全研究和软件工程公司，成立于1988年，是康奈尔大学的衍生公司。其根源在于康奈尔大学进行的编程语言研究，包括集成开发环境、程序综合、属性文法和软件分析方面的工作。该公司开发了商业工具，旨在帮助组织在源代码和二进制代码环境中理解、测试、保护和加固软件。 其历史上的商业产品组合包括CodeSurfer（一个程序切片和软件理解产品）和CodeSonar（一个静态分析平台，旨在识别源代码和编译软件中的缺陷和安全漏洞）。该公司还与威斯康星大学进行了长期的研究合作，将二进制分析技术商业化。这些技术支持对可执行文件的分析，即使源代码不可用，并为CodeSurfer/x86、CodeSonar for Binaries和CodeSentry（一个软件组成分析工具）等产品做出了贡献。 除了商业产品外，GrammaTech还运营着一个研究部门，为私人承包商和美国政府机构开展项目。其研究领域包括静态和动态分析、二进制逆向工程、漏洞检测和缓解、二进制转换和加固，以及自主或网络推理系统。该公司与美国国家航空航天局、国家科学基金会和美国国防部下属机构等机构合作。 GrammaTech通过参与2016年DARPA网络大挑战赛而受到公众关注。作为Team TECHx的领导者，与弗吉尼亚大学合作，使用Xandra网络推理系统，在比赛中获得第二名，并获得100万美元奖金。 该公司在2019年被Five Points Capital收购，所有权发生变化。2023年9月，Battery Ventures收购了GrammaTech的软件产品部门，包括CodeSonar和CodeSentry产品线。该交易创建了一家独立公司，名为CodeSecure, Inc.，总部位于马里兰州贝塞斯达，Daniel Goodwin被任命为首席执行官。该交易将这些商业软件运营与GrammaTech作为研究型网络安全组织的剩余身份分开。 2024年底，Play勒索软件组织公开将GrammaTech列为网络攻击的涉嫌受害者，并声称获取了机密个人和商业信息。研究人员报告称，没有数据样本被公布，这些说法无法独立验证。因此，该事件仍然是一个指控，而不是已确认的泄露，外部评估表明任何暴露可能有限。

GrammaTech源于康奈尔大学在编程语言和软件开发环境方面的研究。在公司成立之前，其创始人参与了康奈尔程序合成器（一个在20世纪70年代末开发的早期集成开发环境）和合成器生成器（一个从属性文法规范生成基于语言的编程环境的系统）的工作。这些项目为后来的程序理解、形式分析和软件工程工具工作奠定了技术基础。 公司成立于1988年，是康奈尔大学的衍生公司。其早期技术与软件开发和程序分析研究相关，使用合成器生成器构建的系统包括Ada验证和软件质量检查工具。这项工作的学术意义后来通过ACM SIGSOFT回顾性影响奖得到认可，包括2010年与联合创始人Tom Reps和Tim Teitelbaum的合成器生成器工作相关的奖项。 1999年，GrammaTech将威斯康星程序切片工具商业化，成为CodeSurfer for C和C++。程序切片帮助开发人员隔离影响特定计算的部分程序，使其对程序理解、调试、维护和安全分析有用。CodeSonar是C和C++的静态分析产品，于2005年推出，将公司的商业重点扩展到在软件部署前发现编程缺陷和漏洞。 GrammaTech还开发了一个重要的二进制分析研究项目。从2001年起，它与威斯康星大学合作，研究二进制可执行文件的分析、逆向工程和防篡改技术。这项工作解决了分析师必须在没有源代码的情况下检查编译软件的情况。其技术成果包括CodeSurfer/x86（CodeSurfer适用于Intel x86可执行文件的版本）和CodeSonar/x86（旨在识别剥离二进制文件中的缺陷和漏洞）。研究还探索了从指令集架构的正式描述中自动生成分析系统的方法。这条工作线后来支持了CodeSonar for Binaries和CodeSentry等商业产品。 GrammaTech的研究活动扩展到商业软件之外。该公司为私人承包商和美国政府组织（包括NASA、国家科学基金会和多个国防部部门）开展项目。其研究涵盖源代码和二进制文件的静态和动态分析、漏洞发现和缓解、软件加固、二进制转换和自主计算。 2016年，GrammaTech参加了DARPA的网络大挑战赛，该竞赛专注于自动化网络防御。它领导了Team TECHx，与弗吉尼亚大学合作，使用了共同开发的Xandra网络推理系统。Team TECHx获得第二名并获得100万美元奖金，突显了GrammaTech将程序分析研究应用于自动化漏洞发现和防御的能力。 该公司于2019年被Five Points Capital收购。2023年9月发生了进一步的结构变化，Battery Ventures收购了GrammaTech的软件产品部门，包括CodeSonar和CodeSentry。被收购的业务成为一家独立公司，名为CodeSecure, Inc.，总部位于马里兰州贝塞斯达。Daniel Goodwin（此前担任GrammaTech研究部门总经理）被任命领导新公司。该交易将商业产品业务与GrammaTech持续的研究身份区分开来。 2024年底，Play勒索软件组织声称已入侵GrammaTech并访问了机密个人和商业数据。公开报道表明，攻击者没有发布数据样本，因此该说法无法独立确认。研究人员将潜在影响描述为有限或不确定，而不是将该指控视为已确认的泄露。

• 2023

  软件产品部门成为CodeSecure

  [1]GrammaTechen.wikipedia.org

  Battery Ventures收购了CodeSonar和CodeSentry产品业务，并成立了独立公司CodeSecure, Inc.。

• 2019

  被Five Points Capital收购

  [1]GrammaTechen.wikipedia.org

  Five Points Capital收购了GrammaTech。

• 2016

  Team TECHx在DARPA网络大挑战赛中获第二名

  [1]GrammaTechen.wikipedia.org

  由GrammaTech领导的Team TECHx与弗吉尼亚大学合作，使用Xandra网络推理系统获得第二名，并获得100万美元。

• 2010

  创始人获得ACM SIGSOFT回顾性影响认可

  [1]GrammaTechen.wikipedia.org

  Tom Reps和Tim Teitelbaum因与合成器生成器相关的工作获得回顾性影响奖。

• 2005

  CodeSonar推出

  [1]GrammaTechen.wikipedia.org

  GrammaTech将CodeSonar（一种用于C和C++的静态分析工具）商业化。

• 2001

  与威斯康星大学开始二进制分析合作

  [1]GrammaTechen.wikipedia.org

  GrammaTech和威斯康星大学开始合作，涉及二进制分析、逆向工程和防篡改工具。

• 1999

  CodeSurfer商业化

  [1]GrammaTechen.wikipedia.org

  威斯康星程序切片工具被商业化，成为CodeSurfer for C和C++软件。

• 1988

  作为康奈尔大学衍生公司成立

  [1]GrammaTechen.wikipedia.org

  GrammaTech成立为一家源自康奈尔大学编程语言和软件分析研究的技术公司。

一家以研究为主导的网络安全和软件保障专家，专注于分析源代码、二进制文件和软件行为，以发现缺陷、漏洞、逆向工程需求和韧性要求。

• 程序切片和软件理解 · 1999

  CodeSurfer

  CodeSurfer起源于威斯康星程序切片工具的商业版本。它分析C和C++程序，以显示计算与影响它们的代码之间的关系，支持程序理解、调试、维护和安全审查。

• 静态软件分析 · 2005

  CodeSonar

  CodeSonar是一个静态分析平台，用于识别软件缺陷和安全漏洞。其最初的重点包括C和C++源代码，使开发团队能够在软件生命周期中发现问题，而不仅仅是在部署之后。

• 二进制分析

  CodeSonar for Binaries

  CodeSonar for Binaries将软件分析技术应用于编译后的可执行文件，包括源代码不可用的情况。它源于GrammaTech对二进制程序分析和剥离或模糊软件中漏洞发现的研究。

• 软件组成分析

  CodeSentry

  CodeSentry是一个软件组成分析产品，与GrammaTech的二进制和软件保障工作相关。它旨在帮助识别软件中的组件和安全风险，包括编译或嵌入式软件环境。

• 网络推理系统 · 2016

  Xandra

  Xandra是GrammaTech和弗吉尼亚大学为自动化网络防御研究共同开发的网络推理系统。Team TECHx在DARPA 2016年网络大挑战赛中使用了它来支持自动化分析和响应。

• 2024

  Play勒索软件指控

  Play勒索软件组织将GrammaTech列为涉嫌受害者，并声称访问了机密个人和商业信息。没有公开样本，该指控未得到独立验证。

  来源

阅读更多

• 2023

  将CodeSonar和CodeSentry分拆为CodeSecure并购

  背景

  GrammaTech通过与Battery Ventures的交易将其软件产品运营与其更广泛的研究活动分开。

  采取的行动

  Battery Ventures收购了CodeSonar和CodeSentry产品线，并成立了独立公司CodeSecure, Inc.，总部位于马里兰州贝塞斯达。

  后续影响

  Daniel Goodwin被任命为CodeSecure的首席执行官，而GrammaTech继续与其研究型网络安全活动相关联。

  来源

• 2019.11.12

  报道2019.11.12

  Mike Dager 出任 GrammaTech 首席执行官[2]Mike Dager 出任 GrammaTech 首席执行官presseschleuder.com

  在 Five Points Capital 收购 GrammaTech 的相关报道中，Mike Dager 被称为 GrammaTech 新任首席执行官。报道表示他将领导 GrammaTech。

• 2019.11.12

  报道2019.11.12

  Five Points Capital 收购 GrammaTech[2]Mike Dager 出任 GrammaTech 首席执行官presseschleuder.com

  Five Points Capital 收购了软件保障工具和网络安全解决方案开发商 GrammaTech。该收购涉及 Five Points Capital、Pleasant Bay Capital、Crescendo Capital、Capital Southwest Corporation 以及 GrammaTech 首席执行官 Mike Dager。

阅读更多

1. 1GrammaTechen.wikipedia.org
2. 2Mike Dager 出任 GrammaTech 首席执行官presseschleuder.com