arXiv cs.SE· Junjie Yao, Xiongzheng Guan, Jia Feng, Yujia Chen, Hongliang Tian, Cuiyun Gao·· 2 小时前AI 评分36
SpeC2Rust：规格驱动的仓库级 C 到 Rust 翻译
SpeC2Rust: Specification-Driven Repository-Level C-to-Rust Translation
AI 导读
SpeC2Rust 是一个规格驱动的仓库级 C 到 Rust 翻译流程，分为项目意图结构化、规格引导生成和分层反馈修复三个阶段。作者在 8 个仓库级 C 项目上评测，生成的 Rust 项目可编译并通过原有端到端测试，且不含裸指针声明、裸指针解引用或 unsafe 行。在与 LLM 基线共同评测的项目上，SpeC2Rust 将成本降低 66.1%，输入 token 用量降低 84.7%。
来源：arXiv cs.SE · arxiv.org