精选理由
Google用Rust重写Android关键代码后，内存安全漏洞从76%掉到24%，这组数据很直观，告诉你迁移到安全语言有多值。
Google将Android中不安全代码迁移至Rust这一内存安全语言。迁移后，内存安全类漏洞占比从76%降至24%。结合模型在形式化证明上的进展，有望实现代码的“被证明安全”而非依赖补丁。
原文 · AI Will
13/ 最后一块，是把不安全代码迁移到Rust这类内存安全语言。 Google把Android代码迁移后，内存安全类漏洞占比从76%降到24%，加上模型在形式化证明上的进展，也许能大规模实现「被证明...
13/ 最后一块，是把不安全代码迁移到Rust这类内存安全语言。 Google把Android代码迁移后，内存安全类漏洞占比从76%降到24%，加上模型在形式化证明上的进展，也许能大规模实现「被证明安全」而不是「靠打补丁」。 💬 1 🔄 0 ❤️ 0 📊 1 ⚡