美国国防部建议将C代码转换为Rust——而且是用AI
💡
原文中文，约1500字，阅读约需4分钟。
📝
内容提要
美国国防部高级研究计划局（DARPA）正在开发 TRACTOR，一个将旧 C 代码自动转换为 Rust 代码的工具，以加快向内存安全编程语言的过渡，提高软件安全性。
🎯
关键要点
- 美国国防部高级研究计划局（DARPA）正在开发 TRACTOR 工具，以加快向内存安全编程语言的过渡。
- TRACTOR 是 TRanslating All C TO Rust 的缩写，旨在自动将旧 C 代码转换为 Rust 代码。
- DARPA 希望通过 AI 模型推动编程语言的转换，提高软件安全性。
- 科技巨头如谷歌和微软已关注内存安全漏洞，并推广使用不需要手动内存管理的语言。
- 美国政府公共部门也开始重视内存安全编程语言的使用，鼓励使用 Rust、C#、Go、Java、Python 和 Swift。
- 尽管有 C/C++ 开发人员认为遵循 ISO 标准和应用测试工具可以解决问题，但软件工程界已达成共识，需采取更多措施提高软件安全性。
- TRACTOR 项目面临技术挑战，如从 C 到 Rust 的自动转换能力和指针使用的差异。
- Wallach 表示没有具体计划转换特定代码库，Linux 内核不在范围内。
➡️
