CHERI在上：Adacore针对遗留C/C++代码的硬件‘修复’
内容提要
由于内存安全问题，联邦机构面临2026年停止使用C/C++代码的挑战。Adacore提出了多种解决方案，包括使用CHERI硬件检测内存问题、用Spark或Rust重写关键代码，以及通过形式验证确保安全性。这种多层次的方法有助于在不完全重写遗留系统的情况下提升安全性。
关键要点
-
联邦机构面临2026年停止使用C/C++代码的挑战，主要由于内存安全问题。
-
完整重写遗留代码不可行，但内存安全漏洞仍然是一个紧迫问题。
-
Adacore提出了多种解决方案，包括使用CHERI硬件检测内存问题。
-
CHERI技术允许在不重写代码的情况下，仅通过重新编译来检测内存安全问题。
-
对于关键组件，Adacore建议使用内存安全语言如Spark或Rust进行有针对性的重写。
-
Spark语言支持形式验证，能够自动证明代码没有运行时错误。
-
Rust因其内存安全性、人才储备和丰富的生态系统而受到越来越多组织的青睐。
-
未来可能结合生成性AI与形式方法加速安全软件开发。
-
Adacore的多层次方法包括使用CHERI硬件、战略性重写关键组件和形式验证，提供了应对内存安全问题的现实路径。
延伸解读
内存安全的紧迫性
随着联邦机构面临2026年停止使用C/C++代码的压力，内存安全问题变得尤为紧迫。遗留系统中的安全漏洞不仅影响系统的稳定性，还可能导致严重的安全隐患。因此，及时采取措施提升内存安全性是各组织必须面对的挑战。
CHERI技术的潜力
CHERI技术为遗留代码提供了一种新的解决方案。通过不重写代码而仅重新编译，CHERI能够在运行时检测内存安全问题。这种方法不仅降低了实施成本，还能在不影响现有系统的情况下提升安全性，值得各组织关注和探索。
选择合适的重写语言
在对关键组件进行重写时，选择合适的内存安全语言至关重要。Spark和Rust因其内存安全性和强大的生态系统而受到青睐。组织在进行重写时，应考虑团队的技术储备和项目需求，以确保重写过程的顺利进行。
未来的安全软件开发
结合生成性AI与形式验证方法可能是未来安全软件开发的趋势。通过AI生成代码并利用形式验证确保其正确性，组织可以在提升开发效率的同时，降低安全风险。这一新兴方法值得关注，可能会改变软件开发的传统模式。
延伸问答
为什么联邦机构需要在2026年前停止使用C/C++代码？
由于内存安全问题，联邦机构面临在2026年前停止使用C/C++代码的挑战。
Adacore提出了哪些解决方案来应对遗留C/C++代码的内存安全问题？
Adacore提出了使用CHERI硬件检测内存问题、用Spark或Rust重写关键代码，以及通过形式验证确保安全性等解决方案。
CHERI技术如何帮助检测内存安全问题？
CHERI技术允许通过重新编译代码来检测内存安全问题，而无需重写代码，提供运行时检查内存安全的能力。
为什么Spark语言在安全关键应用中受到重视？
Spark语言支持形式验证，能够自动证明代码没有运行时错误，包括内存安全问题，因此在安全关键应用中受到重视。
Rust语言在替代C/C++代码方面有哪些优势？
Rust语言因其内存安全性、人才储备和丰富的生态系统而受到越来越多组织的青睐。
Adacore的多层次方法如何帮助组织提升安全性？
Adacore的多层次方法结合使用CHERI硬件、战略性重写关键组件和形式验证，为组织提供了应对内存安全问题的现实路径。
