美机构:不停用C语言?AI帮你换
AI能否替代人类程序员?DARPA推出新项目,用AI将C代码转换为Rust
近日,美国国防高级研究计划局(DARPA)宣布了一项名为TRACTOR的新项目,旨在利用人工智能(AI)技术将现有的C语言代码自动转换为更安全的Rust语言。这一举措进一步显示了全球网络安全机构对内存安全问题的关注和对Rust语言的推崇。
去年,美国CISA、NSA、FBI联合澳大利亚、加拿大、英国和新西兰的网络安全机构共同呼吁人们放弃使用存在内存安全漏洞的C/C++编程语言,转而使用Rust。时隔8个月,DARPA的这项新项目再次强调了这一趋势。
TRACTOR项目的核心是一个编程代码转换工具,它利用机器学习技术,自动将老旧的C代码转换为Rust。DARPA希望通过这种方式,减少内存安全错误(如缓冲区溢出)带来的安全隐患。用户只需将C代码输入到任何大型语言模型(LLM)网站,即可获得安全的Rust代码。
然而,将C代码转换为Rust并非易事。C语言允许使用指针进行各种任务,而Rust则禁止这种操作。此外,两种语言的程序结构差异较大,简单机械的翻译难以达到理想效果。尽管如此,DARPA对TRACTOR项目的期望不仅是实现代码转换的自动化,还要达到熟练开发人员手动编写Rust代码的高质量和风格。
DARPA已公开发布这一计划,并邀请更多的参赛者提交关于LLM支持的解决方案。内存安全漏洞一直是编程语言中的重大挑战,但随着AI技术的发展,这些问题有望得到更好的控制。
此次项目不仅展示了AI在编程领域的潜力,也为提升软件安全性提供了新的思路。未来,AI是否能真正替代人类程序员,仍有待观察。但不可否认的是,AI在编程领域的应用前景正变得越来越广阔。