C言語からRustへの自動変換を測るベンチマーク
TRACTOR Benchmark for Evaluating C to Rust Translators
この論文をやさしく読む
ひとことで言うと
CのプログラムをRustへ自動変換するツールについて、正しさや安全性などを測る評価基盤を示した。
何に役立つ？
変換ツールを開発・比較する際に共通の試験として使える。報告は評価基盤の説明であり、ある変換ツールの優位性を示す実験結果ではない。
この研究の面白いところ
小さな試験から大規模プロジェクトへ難度を上げ、正しさ、安全性、書き方、性能を別々に評価する構成。
どこまで分かった？
要旨からは個々の変換ツールの成績や、大規模な既存システムの変換成功率は分からない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
メモリ安全性の欠陥は重要なソフトウェアに継続的な安全上のリスクをもたらしている。その多くはCやC++など、メモリ安全ではない言語で実装されている。プログラミング言語、プログラム解析、人工知能の進歩により、こうした既存システムをRustのようなメモリ安全な言語へ自動変換して更新する機会が生まれている。DARPAのTRACTOR計画は、大規模なCのコードを、安全で性能がよく保守しやすいRustへ変換する拡張可能な技術の開発を目指す。計画の独立した試験・評価組織であるMITリンカーン研究所は、CからRustへの変換ツールを体系的に評価する標準ベンチマークを開発した。この報告では、段階的に難しくなるテスト群、大規模な節目となるプロジェクト、正しさ、安全性、Rustらしい書き方、性能を評価するための基盤と指標を説明する。ベンチマークと関連する評価基盤は、CからRustへの変換技術の開発・評価を広く支えるため公開されている。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Memory-safety vulnerabilities remain a persistent source of security risk in critical software, much of which is implemented in memory-unsafe languages such as C and C++. Recent advances in programming languages, program analysis, and artificial intelligence have created new opportunities to modernize these legacy systems through automated translation to memory-safe languages such as Rust. The DARPA Translating All C to Rust (TRACTOR) program seeks to develop scalable techniques for translating large C codebases into safe, performant, and maintainable Rust. MIT Lincoln Laboratory serves as the program's independent test and evaluation organization and has developed a standardized benchmark for systematically assessing C-to-Rust translation tools. This report describes the TRACTOR benchmark, including progressively challenging test batteries and larger milestone projects, as well as the supporting evaluation infrastructure and metrics for assessing correctness, safety, idiomaticity, and performance. The benchmark and associated evaluation infrastructure are publicly available to support the broader development and evaluation of C-to-Rust translation technologies.
arXiv ID: 2609.25121 ／ 要約の誤りについて