美国国防部建议将C代码转换为Rust
💡
原文中文,约4900字,阅读约需12分钟。
📝
内容提要
美国国防部计划开发名为TRACTOR的工具,将C和C++代码转换为Rust代码,以消除内存安全漏洞。DARPA希望通过机器学习技术实现自动转换C代码为Rust代码的目标,但仍面临技术挑战。该计划已公开发布,希望有更多参与者提交解决方案。
🎯
关键要点
- 美国国防部计划开发TRACTOR工具,将C和C++代码转换为Rust代码,以消除内存安全漏洞。
- DARPA希望通过机器学习技术实现自动转换C代码为Rust代码,但面临技术挑战。
- 内存安全漏洞是最常见的软件漏洞类型,C语言允许直接操作内存,容易引入错误。
- 多个组织呼吁开发者放弃C/C++,转向内存安全语言如Rust、C#、Go等。
- 向内存安全语言过渡需要重大投资和多年的规划,面临人力和财力成本的挑战。
- TRACTOR项目旨在实现代码转换的自动化,并提高转换代码的质量和风格。
- DARPA希望通过公开竞赛和LLM支持的解决方案来推动项目进展。
- 开发者对TRACTOR项目的看法不一,存在对转换工具有效性的质疑。
➡️