利用CHERI功能,实现C和C++的完全空间安全

近年来,随着网络攻击数量的不断增加,保护程序不受恶意攻击的完整性和安全性变得愈发重要。在这一背景下,剑桥大学计算实验室的研究人员提出了一种新的方法,名为Capability Hardware Enhanced RISC Instructions (CHERI),可以帮助实现C和C++程序的完全空间安全。

CHERI功能基于RISC-V指令集架构,通过在硬件级别实现几个关键功能来提高程序的安全性。其中包括能力指针、基于能力的寄存器和指令等。这些功能能够确保程序只能访问其被授权的数据,从而有效地防止缓冲区溢出和其他常见的安全漏洞。

相比传统的内存保护方案,CHERI功能提供了更细粒度的访问控制,使得程序更容易被设计为安全可靠。研究人员已经利用这一功能,成功实现了一些流行的C和C++程序的安全化,包括OpenSSL和NGINX等。

总的来说,使用CHERI功能可以帮助程序员在编写C和C++程序时更加放心,不必担心常见的安全漏洞和攻击。这一创新技术的应用前景广阔,有望在未来的软件开发中发挥重要作用。

详情参考

了解更多有趣的事情:https://blog.ds3783.com/