【翻译】在代码指针完整性（CPI）上攻击的可能性——On the Feasibility of Attacks on Code-Pointer Integrity-爱代码爱编程
摘要
尽管进行了许多研究来减轻控制流劫持攻击，但仍是一个主要的安全问题。 代码指针完整性（CPI）[2]是第一个系统保护所有此类攻击并同时保持较低性能开销的保护机制。 在即将发布的S&P’15论文中，Evans等人 [1]声称可以在x86-64和ARM体系结构上绕过CPI。 本文是对[1]中声称CPI总体上存在安全漏洞的说法的澄清回应。
如形式正确性证明[2]所示，CPI属性本身是安全的。 特定CPI实施中的错误或缺陷可能导致安全缺陷。 我们讨论了不同的实现方案，分析了它们的安全性保证和性能影响，并证明了[1]中提出的攻击仅对最简单的CPI概念验证实现有效。 提出的攻击无法颠覆其他实现方式，例如，使用硬件强制分段或软件故障隔离的方式。
1.指针完整性
代码指针完整性（CPI）[2]是一种保护机制，可以防止由内存破坏错误引起的所有控制流劫持攻击，而其性能开销较低。 CPI在编译时检测C/C++程序，从而为程序中所有直接和间接指向代码的指针提供了精确的内存安全性，
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。 本文链接： https://blog.csdn.net/weixin_46222091/article/details/111093829