ReBoot

新技术将 C 解释器翻译成安全的 Rust 代码

研究人员开发了一种名为 Reboot 的新技术，可将 C 语言解释器自动翻译成安全的 Rust 代码。该方法解决了不同类型和内存管理系统语言之间翻译的固有挑战。Reboot 采用多代理架构结合特征约简方法，将翻译过程分解为可管理、可测试的里程碑。该策略已成功将六个 C 解释器（代码量从 6,000 到 23,000 行不等）翻译成安全的 Rust 代码，只需极少的人工干预，通过了高比例的测试套件，并消除了内存漏洞。