由于内存安全问题，联邦机构面临2026年停止使用C/C++代码的挑战。Adacore提出了多种解决方案，包括使用CHERI硬件检测内存问题、用Spark或Rust重写关键代码，以及通过形式验证确保安全性。这种多层次的方法有助于在不完全重写遗留系统的情况下提升安全性。