TRACTOR Benchmark for Evaluating C to Rust Translators

2026-09-20

AI Summary

为解决C语言代码中的内存安全漏洞问题，提出TRACTOR基准测试，用于评估C到Rust的翻译工具的有效性和性能。

Abstract

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.

Problem

• C to Rust Translation
• Benchmark Evaluation
• Memory-safety
• Code Modernization
• Security Risk

Innovation

• TRACTOR Benchmark
• C to Rust Translation
• Memory-safety
• Evaluation Infrastructure
• Automated Translation