该论文介绍 DARPA「Translating All C to Rust (TRACTOR)」项目框架下的一套标准化评测基准。研究背景是:C 与 C++ 等内存不安全语言长期承载大量关键软件,缓冲区溢出、释放后使用等内存安全漏洞也随之成为持续性的安全风险来源;而编程语言、程序分析与人工智能技术近年来的进展,使通过自动翻译把遗留 C 代码库迁移到 Rust 等内存安全语言成为可行的现代化路径。TRACTOR 项目的目标是为大规模 C 代码库向安全、高性能、可维护的 Rust 迁移提供可扩展的技术能力。MIT Lincoln Laboratory 作为该项目独立的测试与评测(independent test and evaluation)机构,构建了这套标准化基准,以便对各类 C-to-Rust 翻译工具进行系统化、可复现的横向比较。基准由难度递进的测试题库(progressively challenging test batteries)以及规模更大的里程碑项目(milestone projects)组成,并配套评测基础设施与度量指标,分别从四个维度评估翻译结果:correctness(功能正确性)、safety(安全性)、idiomaticity(是否符合 Rust 惯用风格)以及 performance(性能)。报告描述了基准的构成与设计、评测流程与指标定义,并说明基准和配套评测基础设施已公开提供,用以支持 C-to-Rust 翻译技术更广泛的研发与评估。读者对象为程序分析、软件工程、自动化程序迁移方向的研究者,以及负责遗留系统现代化与内存安全治理的工程与安全团队。