论文部分内容阅读
内存腐烂攻击在软件安全攻击中占据着较大的比重。近来，动态着色技术得到了越来越多的关注，这种技术通过在访问内存时检测指针的完整性来抵御攻击。然而，存在一类可以绕过指针完整性检查的策略来进行攻击的实例，比如数组的越界访问攻击。提出了一种基于动态着色跟踪分析的方法来解决这类已有着色技术不能检测的问题。其思想是，借助于内存访问控制的思路，首先像已有的动态着色技术那样，在内存访问时对指针进行完整性检查，然后检查指针将要访问的内存区域是否处于指针合理的访问范围之内。原型系统是基于Valgrind的，并不需要源码，因此