arXiv ID:
2604.04527
arXiv 提交日期: 2026-04-06
ENCRUST:基于活性框架的封装替换与智能精化,用于安全的C到Rust代码翻译 / ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
1️⃣ 一句话总结
这篇论文提出了一个名为ENCRUST的两阶段新方法,它能将C语言项目安全、可靠地自动翻译成Rust语言,通过独特的封装包装和智能全局修复技术,在保证程序功能正确的同时,大幅减少了新代码中潜在的内存安全隐患。