返回全部动态

TRACTOR:评估 C 到 Rust 翻译器的基准

原标题:TRACTOR Benchmark for Evaluating C to Rust Translators

arXiv cs.SE一手来源研究质量 74

AI 摘要

MIT 研究人员发布 TRACTOR 基准,用于评估将 C 代码翻译为 Rust 的自动翻译器。该工作指出 C/C++ 等内存不安全语言是长期系统性漏洞根源,NSA、CISA 等机构已呼吁语言层面的结构性变革,而 Rust 凭借编译期所有权与借用检查、无 GC 开销、可与 C/C++ 互操作等特性成为现代化迁移的首选目标。TRACTOR 旨在为这一翻译任务提供评测手段。

以上摘要由 AI 生成,可能存在误差。事实请以原文为准。

正文节选

DISTRIBUTION STATEMENT A. Approved for public release. Distribution is unlimited. This material is based upon work supported by the Under Secretary of Defense for Research and Engineering under Air Force Contract No. FA8702-15-D-0001 or FA8702-25-D-B002. Any opinions, findings, conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Under Secretary of Defense for Research and Engineering. ©2026 Massachusetts Institute o


发布时间:2026-09-23 12:00
抓取时间:2026-09-23 13:19
来源机构:arXiv
阅读原文arxiv.org