DARPA信息创新办公室近日启动“将全C语言转换为RUST语言”(TRACTOR

科技情搬运工 2024-09-03 21:09:09

DARPA信息创新办公室近日启动“将全C语言转换为RUST语言”(TRACTOR)项目,旨在将旧有的C语言代码自动转换为RUST语言代码。项目启动的背景如下:①C语言自20世纪70年代初一直存在缓存溢出等内存安全问题,是导致程序崩溃或安全漏洞的主要原因;②网络安全和基础设施安全局认为,当前应关注内存安全漏洞对网络安全的影响;③开源安全基金会定义的172个关键项目中有52%包含不安全代码。DARPA选择RUST语言的原因有三点:一是该语言基于内存安全架构设计,满足政府推广安全编程语言的要求,可通过设定规范数据在程序中的使用和复制方式;二是该语言允许程序员将风险较高的代码标记在可搜索的“不安全”模块中;三是该语言具备在谷歌和亚马逊云环境应用的经验。该项目可能使用大语言模型,完成从C语言代码到RUST语言代码的自动转译,且转译质量达到RUST语言熟练开发者的水平。该项目未来将有效提升军民用软件的韧性、正确性、现代化水平和主动规避安全漏洞的能力,还能有效减少编程人员手动重写代码的成本和工作量,提高软件的安全性和可靠性。

0 阅读:32