グラマテック

グラマテック株式会社
会社種別	プライベート
業界	ソフトウェアの品質
本部	ニューヨーク州イサカ
主要人物	CEO: ダン・グッドウィン
Webサイト	グラマテック

GrammaTech は、ニューヨーク州イサカに拠点を置くサイバーセキュリティ研究サービス企業です。同社は 1988 年にコーネル大学の技術スピンオフとして設立されました。GrammaTech のソフトウェア研究サービスには、ソフトウェア分析、脆弱性の検出と緩和、バイナリ変換と強化、自律コンピューティングが含まれます。2023 年 9 月、Battery Ventures は、CodeSonar および CodeSentry 製品ラインを含む GrammaTech のソフトウェア製品部門を買収しました。これにより、CodeSecure, Inc. という名前で運営され、メリーランド州ベセスダに本社を置く新しい独立した組織が設立されます。

研究

GrammaTech の研究部門は、 NASA、NSF、国防総省の多くの部門など、いくつかの米国政府機関を含む民間請負業者向けのプロジェクトを請け負っています。GrammaTech の研究は、ソースコードとバイナリの両方における静的分析と動的分析の両方に重点を置いています。

GrammaTechはDARPAの2016年サイバーグランドチャレンジに参加し、チームTECHxとして2位となり、100万ドルを獲得しました。^[1] GrammaTechは、共同開発したサイバー推論システムXandraを使用して、バージニア大学と共同でチームTECHxを率いました。^[2]

歴史

GrammaTech は 1988 年にコーネル大学からスピンオフした企業です。コーネル大学の創設者は 1978 年に初期の統合開発環境(Cornell Program Synthesizer ^[3] ) を、 1982 年には属性文法仕様から言語ベースの環境を生成するシステム(Synthesizer Generator ^[4]^[5] ) を開発しました。Synthesizer Generator を使用して実装された商用システムには、ORA のAda 検証システム (Penelope ^[6] )、 Terma のRigorous Approach to Industrial Software Engineering (Raise ^[7] )、Loral のAda 用 SPC 品質およびスタイルガイドラインチェッカーなどがあります。^[8] GrammaTech の共同創設者Tom RepsとTim Teitelbaum は、 Synthesizer Generator の開発で2010 ACM SIGSOFT Retrospective Impact Award [1] を受賞しました。^[9]

GrammaTech は、 1999 年に C および C++ 用の CodeSurfer としてWisconsinプログラムスライシングツールを商品化しました。静的解析ツールである C および C++ 用のCodeSonar は、2005 年から提供されています。GrammaTech の共同設立者であるRepsと他の 2 人の関連会社は、Wisconsin スライシング研究を説明した論文で、2011 ACM SIGSOFT Retrospective Impact Award [2] を共同受賞しました。^[10]

GrammaTechとウィスコンシン大学は2001年以来、バイナリ実行ファイルの分析、リバースエンジニアリング、および改ざん防止ツールの開発で協力してきました。この研究の副産物として、CodeSurfer/x86 ^{[11] (}Intel x86命令セット用のCodeSurferのバージョン)、CodeSonar/x86 (ストリップされた実行ファイルのバグと脆弱性を見つけるツール)、および任意の命令セットアーキテクチャの形式意味記述からそのようなシステムを自動的に作成するアプローチが生まれました。^{[12]この研究は後に}CodeSonar for Binariesとソフトウェア構成分析ツールのCodeSentry として商品化されました。

2019年、GrammaTechはFive Points Capitalに買収された。^[13]

2023年9月、Grammatechは、ソフトウェア製品部門の一部、具体的にはCodeSonarおよびCodeSentry製品ラインをベンチャーキャピタルのBattery Venturesにスピンオフすると発表しました。この取引により、CodeSecure, Inc.の名称で運営され、メリーランド州ベセスダに本社を置く新しい独立法人が設立されます。^[14]スピンオフの一環として、Grammatechはダニエル・グッドウィンをCEOに任命し、今後の企業を率いていきます。以前はGrammatechの研究部門のゼネラルマネージャーを務めていたグッドウィンは、情報保証、SIGINT、プラットフォームミッションなどの分野で、サイバーセキュリティ、ソフトウェア、システム、FPGA、マイクロエレクトロニクス、通信、ネットワーキング、ハードウェアの経験を持っています。^[15]

参考文献

^ 「サイバーグランドチャレンジ」。DARPA 。 2020年2月29日閲覧。
^ 「ハッカーはもう人間である必要はない。このボットバトルがそれを証明」Wired 2016年8月5日。
^ Teitelbaum, T.; T. Reps (1981 年 9 月). 「コーネルプログラムシンセサイザー: 構文指向プログラミング環境」. Communications of the ACM . 24 (9): 563–573. doi : 10.1145/358746.358755 . S2CID 14317073.
^ Reps, T. (1984).言語ベース環境の生成. ケンブリッジ、マサチューセッツ州: MIT プレス. ISBN 978-0-262-18115-0（1983年ACM博士論文賞受賞）。
^ Reps, Thomas W.; Teitelbaum, Tim (1988).シンセサイザージェネレーター: 言語ベースのエディターを構築するためのシステム。ケンブリッジ、マサチューセッツ州: Springer-Verlag。ISBN 978-0-387-96857-5。
^ Guaspari, D. (1989). 「Tri-Ada '89 カンファレンス議事録 Ada テクノロジのコンテキスト: アプリケーション、開発、展開 - TRI-Ada '89」TRI-Ada '89: Tri-Ada '89 カンファレンス議事録. ピッツバーグ、ペンシルバニア州: ACM . pp. 216–224. doi : 10.1145/74261.74277 . ISBN 0897913299。
^ RAISE Language Group、CORPORATE (1993)。RAISE仕様言語。アッパーサドルリバー、ニュージャージー州：Prentice-Hall、Inc。ISBN 978-0-13-752833-2。
^ Software Productivity Consortium (1995)。Ada 95 品質およびスタイルガイド: プロフェッショナルプログラマー向けガイドライン (SPC-94093-CMC バージョン 01.00.10 ed.)。ハーンドン、バージニア州: SPC。
^ Reps, T.; Teitelbaum, T. (1984). 「シンセサイザージェネレータ」。SDE 1 Proc. of the first ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments に掲載。
^ Reps, T.; Horowitz, S.; Sagiv, M.; Rosay, G. (1994 年 12 月)。「スライシングの高速化」(PDF)。第 2 回 ACM SIGSOFT ソフトウェアエンジニアリングの基礎に関するシンポジウム議事録。米国ルイジアナ州ニューオーリンズ。
^ Balakrishnan, G.; Reps, T. (2004). 「x86 実行可能ファイルでのメモリアクセスの分析」(PDF)。Proc . Int. Conf. on Compiler Construction。ニューヨーク、NY: Springer-Verlag。pp. 5–23。(ETAPS 2004 で EAPLS 最優秀論文賞を受賞。)
^ Lim, J.; Reps, T. (2008 年 4 月)。「機械命令の静的アナライザーを生成するシステム」(PDF)。Proc . Int. Conf. on Compiler Construction (CC)。ニューヨーク、ニューヨーク: Springer-Verlag。(ETAPS 2008 で EAPLS 最優秀論文賞を受賞)。
^ 「Five Points Capital、GrammaTechの買収を完了」。PR Newswire。2019年11月12日。 2020年5月14日閲覧。
^ 「Battery VenturesがGrammaTechのアプリケーションセキュリティテストソフトウェア事業を買収し、CodeSecureを設立」www.businesswire.com 2023年9月5日2023年9月7日閲覧。
^ 「Meet our Leaders」. Grammatech . 2023年9月7日閲覧。

外部リンク

公式サイト

[1] 「サイバーグランドチャレンジ」。DARPA 。 2020年2月29日閲覧。

[2] 「ハッカーはもう人間である必要はない。このボットバトルがそれを証明」Wired 2016年8月5日。

[TeitelbaumReps-3] Teitelbaum, T.; T. Reps (1981 年 9 月). 「コーネルプログラムシンセサイザー: 構文指向プログラミング環境」. Communications of the ACM . 24 (9): 563–573. doi : 10.1145/358746.358755 . S2CID 14317073.

[Reps-4] Reps, T. (1984).言語ベース環境の生成. ケンブリッジ、マサチューセッツ州: MIT プレス. ISBN 978-0-262-18115-0（1983年ACM博士論文賞受賞）。

[RepsTeitelbaum-5] Reps, Thomas W.; Teitelbaum, Tim (1988).シンセサイザージェネレーター: 言語ベースのエディターを構築するためのシステム。ケンブリッジ、マサチューセッツ州: Springer-Verlag。ISBN 978-0-387-96857-5。

[Guaspari-6] Guaspari, D. (1989). 「Tri-Ada '89 カンファレンス議事録 Ada テクノロジのコンテキスト: アプリケーション、開発、展開 - TRI-Ada '89」TRI-Ada '89: Tri-Ada '89 カンファレンス議事録. ピッツバーグ、ペンシルバニア州: ACM . pp. 216–224. doi : 10.1145/74261.74277 . ISBN 0897913299。

[Terma-7] RAISE Language Group、CORPORATE (1993)。RAISE仕様言語。アッパーサドルリバー、ニュージャージー州：Prentice-Hall、Inc。ISBN 978-0-13-752833-2。

[SPC-8] Software Productivity Consortium (1995)。Ada 95 品質およびスタイルガイド: プロフェッショナルプログラマー向けガイドライン (SPC-94093-CMC バージョン 01.00.10 ed.)。ハーンドン、バージニア州: SPC。

[Sgenl-9] Reps, T.; Teitelbaum, T. (1984). 「シンセサイザージェネレータ」。SDE 1 Proc. of the first ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments に掲載。

[SpeedUpl-10] Reps, T.; Horowitz, S.; Sagiv, M.; Rosay, G. (1994 年 12 月)。「スライシングの高速化」(PDF)。第 2 回 ACM SIGSOFT ソフトウェアエンジニアリングの基礎に関するシンポジウム議事録。米国ルイジアナ州ニューオーリンズ。

[Gogol-11] Balakrishnan, G.; Reps, T. (2004). 「x86 実行可能ファイルでのメモリアクセスの分析」(PDF)。Proc . Int. Conf. on Compiler Construction。ニューヨーク、NY: Springer-Verlag。pp. 5–23。(ETAPS 2004 で EAPLS 最優秀論文賞を受賞。)

[TSL-12] Lim, J.; Reps, T. (2008 年 4 月)。「機械命令の静的アナライザーを生成するシステム」(PDF)。Proc . Int. Conf. on Compiler Construction (CC)。ニューヨーク、ニューヨーク: Springer-Verlag。(ETAPS 2008 で EAPLS 最優秀論文賞を受賞)。

[13] 「Five Points Capital、GrammaTechの買収を完了」。PR Newswire。2019年11月12日。 2020年5月14日閲覧。

[14] 「Battery VenturesがGrammaTechのアプリケーションセキュリティテストソフトウェア事業を買収し、CodeSecureを設立」www.businesswire.com 2023年9月5日2023年9月7日閲覧。

[15] 「Meet our Leaders」. Grammatech . 2023年9月7日閲覧。