Canonical支持一项为期三年的新研究项目,旨在使将大型成熟的C代码库自动翻译为安全的Rust变得实用。该计划是Canonical与英国布里斯托大学合作的结果,预计将于2026年下半年开始。
该项目的主要目标是开发一个完整的平台,能够将包含数十万行C代码的大型代码仓库翻译为安全、可靠且易于维护的Rust。其挑战在于仍在广泛使用的大量遗留C软件;鉴于多年累积的修复和优化,手动重写此类代码既费时又有风险。
目前的源到源翻译器只能部分解决问题。虽然它们可以处理大量代码,但往往过于紧密地复制C结构,导致生成的Rust仍然依赖不安全的功能。而LLM则擅长为小代码片段生成惯用的Rust,但在处理整个代码仓库的上下文时却显得力不从心。
为克服这些障碍,该项目将采用混合的'神经符号'方法,结合机器学习与传统程序分析、测试和形式化方法。Canonical计划使用AppArmor和snap-confine作为真实世界的案例研究。该计划还与Canonical在Ubuntu中更广泛地采用Rust保持一致,如uutils coreutils和sudo-rs等项目所示。
关键实体:公司:Canonical,布里斯托大学|地点:英国
来源: Hacker News · 由HeadlinesBriefing整理摘要