米国防総省DARPA、C言語のコードからRustへの自動変換実現を目指す「TRACTOR」プログラム開始

今回は「米国防総省DARPA、C言語のコードからRustへの自動変換実現を目指す「TRACTOR」プログラム開始」についてご紹介します。

関連ワード (募集要項、目指、軍事技術等) についても参考にしながら、ぜひ本記事について議論していってくださいね。

本記事は、Publickey様で掲載されている内容を参考にしておりますので、より詳しく内容を知りたい方は、ページ下の元記事リンクより参照ください。


アメリカ国防総省 DARPA(Defense Advanced Research Projects Agency:国防高等研究計画局)は、C言語のコードからRust言語のコードへ高い精度での自動変換実現を目指す「TRACTOR」(Translating All C to Rust)プログラムの開始を発表しました。

DARPAがTRACTORプログラムを発表

DARPAは軍事技術の開発および研究を行う機関であり、現在のインターネットはDARPの前身となるARPAが1967年に開始した「ARPANET」がその起源であることはよく知られています。

DARPAが発表したTRACTORプロジェクトは、C言語のコードからRust言語のコードへの自動変換を高い精度で実現することで、過去にC言語で開発された多くのソフトウェアをメモリ安全なソフトウェアにすることを主要な目標とし、応募者を募ってDARPAがそれを支援するという枠組みになっています。

メモリ安全なソフトウェアに取り組む米政府

米政府は数年前からソフトウェアの脆弱性に関する危機感を募らせています。今年(2024年)2月には、米ホワイトハウスの国家サイバー局長室が、ソフトウェアの脆弱性を減らすためにメモリ安全なプログラミングへの移行をテクノロジーコミュニティに対して呼びかける声明を発表しています。

参考:米ホワイトハウス「将来のソフトウェアはメモリ安全になるべき」と声明発表。ソフトウェアコミュニティに呼びかけ

例えば、C言語では、アプリケーション内で動作に必要なメモリ操作の責任をプログラマが負っています。しかしこれらメモリ操作に関するバグがソフトウェアの脆弱性につながるケースは後を絶ちません。

こうしたメモリ操作のバグのない、いわゆるメモリ安全(Memory Safe)なソフトウェアを実現するために、プログラマがメモリ操作の責任を負わずプログラミング言語側が自動的に処理をしてくれるC#、Go、Java、Python、Swift、Rustなどのプログラミング言語の利用が推奨されました。

国防総省にはC言語に依存する長寿命システムがある

今回、C言語が変換元として指定されたのは、C言語で書かれたシステムが大量に存在するからだとDARPは今回の発表の中で次のように説明しています。

While it’s been no secret that memory safe programming languages can eliminate memory safety vulnerabilities, the challenge has been rewriting legacy code at scale that matches the vastness of the problem. The C language was created in the 1970s and has become ubiquitous. It has been used to develop applications that run everything from modern smartphones to space vehicles and beyond. And the Department of Defense has long-lived systems that disproportionately depend on programming languages like C.

メモリ安全なプログラミング言語がメモリ安全に関する脆弱性を排除できることは周知の事実だが、課題は大規模に使われてきたレガシーコードを書き換えることなのだ。C言語は1970年代に作られ、あらゆる場所で使われてきた。最新のスマートフォンから宇宙船まで、あらゆるものを動かすアプリケーションの開発に使われてきたのだ。しかも国防総省には、C言語のようなプログラミング言語に大きく依存する長寿命なシステムもあるのだ。

そしてC言語のような低レイヤに対応したアプリケーション開発に適したメモリ安全なプログラミング言語として、Rust言語が位置づけられているわけです。

大規模言語モデルとソフトウェア解析の組み合わせを期待

DARPAでTRACTORのプログラムマネージャを務めるDan Wallach博士は、CからRustへの自動変換の手段として大規模言語モデルとソフトウェア解析の斬新な組み合わせを期待すると、今回の発表の中でコメントしています。

Wallach anticipates proposals that include novel combinations of software analysis, such as static and dynamic analysis, and large language models. The program will host public competitions throughout the effort to test the capabilities of the LLM-powered solutions.

Wallach氏は、静的解析や動的解析といったソフトウェア解析と大規模言語モデルの斬新な組み合わせを含む提案を期待している。 このプログラムでは、大規模言語モデルを利用したソリューションの能力をテストするため、取り組み全体を通じて公開コンペティションを開催する予定である。

TRACTORへの募集要項はSAM.GOVで近日中に発表される予定です。

COMMENTS


Recommended

TITLE
CATEGORY
DATE
DNP、グループ社員3万人に「生成AI」の利用環境を構築
IT関連
2023-06-02 18:14
「たまごサンドおいしい」オリンピック訪日記者の投稿で“コンビニ飯”に注目 ローソンも反応
ネットトピック
2021-08-06 08:04
AWS、Graviton 2ベースのAmazon Aurora正式サービス開始。最大で35%の価格性能比が向上と
ARM
2021-03-15 22:04
法人旅行の回復を受けTripActionsが約5191億円の評価額で約161億円を調達、コロナ禍から大逆転
ソフトウェア
2021-01-24 09:23
CruiseとWaymoを追う中国の自律走行車企業AutoXがサンフランシスコでテスト開始へ
IT関連
2022-02-13 01:38
AWS Lambda、.NET 7の新機能であるネイティブコンパイラによる実行形式のバイナリに対応
.NET
2022-11-17 07:00
Red Hat、企業におけるオープンソースの調査レポート「The State of Enterprise Open Source」公開。87%がオープンソースはプロプライエタリと同等かそれ以上にセキュアと
Red Hat
2021-03-09 23:04
24時間365⽇スマホで医師に相談できる医療相談アプリLEBERを手がけるリーバーが資金調達、累計調達金額10億円突破
IT関連
2022-02-11 13:53
職員がアバターで接客、フライト情報を案内 中部国際空港で実証実験
企業・業界動向
2021-05-18 00:30
東大総長かたるなりすましメールに注意 「ときょ じゃぱん」「地球の世話しなさい!」など本文に
セキュリティ
2021-02-03 16:49
ワークスアプリ、企業ブランドを刷新–新オフィスにも移転
IT関連
2024-12-04 09:45
Square、分割後払いサービスのAfterpayを290億ドル(3兆円超)で買収
アプリ・Web
2021-08-03 02:17
学会に最先端の感覚を持ち込むバーチャル会議・出版プラットフォーム「Morressier」
EdTech
2021-05-15 20:30
AWSジャパン、生成AI最新情報を発表–開発者体験を一新する「Amazon Q Developer」など
IT関連
2024-05-19 10:41