美国国防部高级研究计划局（DARPA）正在积极推进一项名为TRACTOR的程序代码转换工具，以加速向内存安全编程语言的过渡。TRACTOR，即TRanslating All C TO Rust，是一个旨在利用机器学习技术，自动将C语言代码转换为Rust语言代码的项目。
DARPA的项目经理Dan Wallach在声明中强调了AI在编程语言转换中的重要性，他设想了一个场景，开发者可以通过AI模型轻松地将C代码转化为安全的Rust代码。Wallach指出，尽管目前AI在代码转换上已经取得了不错的成果，但研究的挑战在于提高转换的自动化程度，尤其是针对复杂的程序结构。
近年来，内存安全漏洞问题引起了科技巨头和政府部门的广泛关注。谷歌、微软等公司一直在推广使用内存安全的语言，美国政府也鼓励使用Rust等语言以提高软件安全性。尽管有C/C++开发者认为，通过遵循ISO标准和应用测试工具，可以达到类似的安全效果，但DARPA认为，经过多年的努力，软件工程界已达成共识，即需要采取更多措施来确保软件的内存安全。
Wallach提到，TRACTOR项目面临的技术挑战包括AI模型在代码转换中的准确性问题，以及C语言与Rust在指针使用上的根本差异。他坦言，尽管项目目标是实现高度自动化，但要解决这些挑战并非易事。
至于具体的代码库转换计划，Wallach表示DARPA并没有特定的目标，但Linux内核由于存在Rust无法解决的技术问题，并不在考虑范围内。这表明，尽管TRACTOR项目具有前瞻性，但在实际应用中仍需克服一系列技术难题。
