先了解这件事
AI 综述
Canonical联合资助布里斯托大学编程语言研究组一个三年博士项目,研究用AI将大型C代码库翻译成安全Rust。据The Register报道,该项目计划考察LLM能否把“数十万行C代码”拆解为小组件,并重写为安全、行为正确且可维护的Rust,具体考察对象为snap-confine和AppArmor两个工具。Canonical工程副总裁Jon Seager在Ubuntu Discourse论坛公布了这一投资,并指出传统源码转换器常过度保留C结构,结果虽能编译为Rust却仍大量依赖unsafe操作。目前该项目尚无进一步有证据支持的发展。
AI 根据公开报道生成
事件进展
1 个已确认进展
- 来源：The Register
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
8月24日
The Register
Canonical 资助布里斯托大学三年博士项目，研究用 AI 将大型 C 代码库翻译成安全 Rust
Canonical 联合资助布里斯托大学编程语言研究组一个三年博士项目，研究 LLM 能否把“数十万行 C 代码”拆解为小组件并重写为安全、行为正确且可维护的 Rust。项目计划考察 snap-confine 和 AppArmor 两个具体工具，工程副总裁 Jon Seager 在 Ubuntu Discourse 论坛公布了这一投资。Seager 指出传统源码转换器常过度保留 C 结构，结果虽能编译为 Rust 却仍大量依赖 unsafe 操作。