CHERI在上：Adacore针对遗留C/C++代码的硬件‘修复’
💡
原文英文，约1100词，阅读约需4分钟。
📝
内容提要
由于内存安全问题，联邦机构面临2026年停止使用C/C++代码的挑战。Adacore提出了多种解决方案，包括使用CHERI硬件检测内存问题、用Spark或Rust重写关键代码，以及通过形式验证确保安全性。这种多层次的方法有助于在不完全重写遗留系统的情况下提升安全性。
🎯
关键要点
- 联邦机构面临2026年停止使用C/C++代码的挑战，主要由于内存安全问题。
- 完整重写遗留代码不可行，但内存安全漏洞仍然是一个紧迫问题。
- Adacore提出了多种解决方案，包括使用CHERI硬件检测内存问题。
- CHERI技术允许在不重写代码的情况下，仅通过重新编译来检测内存安全问题。
- 对于关键组件，Adacore建议使用内存安全语言如Spark或Rust进行有针对性的重写。
- Spark语言支持形式验证，能够自动证明代码没有运行时错误。
- Rust因其内存安全性、人才储备和丰富的生态系统而受到越来越多组织的青睐。
- 未来可能结合生成性AI与形式方法加速安全软件开发。
- Adacore的多层次方法包括使用CHERI硬件、战略性重写关键组件和形式验证，提供了应对内存安全问题的现实路径。
❓
延伸问答
为什么联邦机构需要在2026年前停止使用C/C++代码？
由于内存安全问题，联邦机构面临在2026年前停止使用C/C++代码的挑战。
Adacore提出了哪些解决方案来应对遗留C/C++代码的内存安全问题？
Adacore提出了使用CHERI硬件检测内存问题、用Spark或Rust重写关键代码，以及通过形式验证确保安全性等解决方案。
CHERI技术如何帮助检测内存安全问题？
CHERI技术允许通过重新编译代码来检测内存安全问题，而无需重写代码，提供运行时检查内存安全的能力。
为什么Spark语言在安全关键应用中受到重视？
Spark语言支持形式验证，能够自动证明代码没有运行时错误，包括内存安全问题，因此在安全关键应用中受到重视。
Rust语言在替代C/C++代码方面有哪些优势？
Rust语言因其内存安全性、人才储备和丰富的生态系统而受到越来越多组织的青睐。
Adacore的多层次方法如何帮助组织提升安全性？
Adacore的多层次方法结合使用CHERI硬件、战略性重写关键组件和形式验证，为组织提供了应对内存安全问题的现实路径。
➡️
