英国布里斯托大学合作调查 C 至 Rust 自动翻译

英国布里斯托大学合作调查 C 至 Rust 自动翻译。

鲁斯特注定在乌邦图的未来扮演了重要角色. 作为允许程序员对资源使用和性能进行更多控制并去除多类内存安全问题的语言,它对于构建安全敏感软件来说是一个特别好的选择. 但是,目前赋予Linux操作系统权力的遗留的C代码数量庞大的现代化,一直是并继续是一大挑战. “改写长期以来费用昂贵,风险很高,而且往往没有实现明显的改进。 已有的代码库往往包含多年的bug修正、兼容性决定、操作知识以及来之不易的性能优化, 在星期三的一篇文章中, “如果我们希望更多的系统软件能从内存安全中受益,我们需要更好的方法来降低移徙的成本和风险。” 为此,Canonical与英国研究与创新公司(UK Research and Innovation)共同资助了一个为期三年的博士项目,以创建一个平台,将数十万行C代码转换为Rust。 该项目由孟汪教授领导,由西格和克莉丝汀娜·大卫博士出任博士生亚历克丝·伍德的联合监督. Seager写道: “传统源到源的翻译可以处理大量的代码,但往往过于字面地保留了C的结构。 其结果可能编译为Rust,但仍严重依赖不安全的操作,保留了尴尬的Cidioms并需要大量手工工作,然后才能像Rust维护者选择拥有的代码。” 另一方面,一个大型语言模型(LLM)可以创造出“令人信服的平庸的鲁斯特”,但与“存储级”上下文相搏。 他补充说 , “ 更重要的是 , 假象输出并不是 证明 翻译程序的行为 类似它的源。 ” 因此,该项目将结合机器学习和常规程序分析两种技术来构建系统. 其拟议建筑师。

（编译自 InfoWorld；原文 https://www.infoworld.com/article/4212147/canonical-and-uks-university-of-bristol-partner-to-investigate-automated-c-to-rust-translations.html，编译转述，非原文转载）