SpeC2Rust：规格驱动的仓库级C到Rust翻译

Junjie Yao 等人提出 SpeC2Rust，一个规格驱动的仓库级 C 到 Rust 翻译流程，分为项目意图结构化、规格引导生成和分层反馈修复三个阶段。作者在 8 个仓库级 C 项目上评测，称生成的 Rust 项目可编译并通过原有端到端测试，且不含裸指针声明、裸指针解引用或 unsafe 行。 在与 LLM 基线共同评测的项目上，作者称 SpeC2Rust 将成本降低 66.1%，输入 token 用量降低 84.7%。这些结果来自论文自述的评测，尚未见独立复现。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。