研究人员开发了一种名为 Reboot 的新技术，可将 C 语言解释器自动翻译成安全的 Rust 代码。该方法解决了不同类型和内存管理系统语言之间翻译的固有挑战。Reboot 采用多代理架构结合特征约简方法，将翻译过程分解为可管理、可测试的里程碑。该策略已成功将六个 C 解释器（代码量从 6,000 到 23,000 行不等）翻译成安全的 Rust 代码，只需极少的人工干预，通过了高比例的测试套件，并消除了内存漏洞。 AI
影响 这项研究通过实现更安全的语言翻译，有可能提高软件的安全性与可靠性。
排序理由 该集群描述了一篇关于代码翻译新技术的最新研究论文。[lever_c_demoted from research: ic=1 ai=0.4]
在 arXiv cs.MA (Multiagent) 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
