CHERI在上：Adacore针对遗留C/C++代码的硬件‘修复’
As federal agencies and contractors face a potential 2026 deadline to move away from C and C++ code due to The post CHERI on Top: AdaCore’s Hardware ‘Fix’ for Legacy C/C++ Code appeared first on...
由于内存安全问题，联邦机构面临2026年停止使用C/C++代码的挑战。Adacore提出了多种解决方案，包括使用CHERI硬件检测内存问题、用Spark或Rust重写关键代码，以及通过形式验证确保安全性。这种多层次的方法有助于在不完全重写遗留系统的情况下提升安全性。
