[发明专利]一种高效且高可用的空间内存错误检测方法

摘要

本发明提供一种高效且高可用的空间内存错误检测方法，其步骤包括：对程序进行静态污点分析，对可能会被攻击者所控制的指针进行污点标记；在程序运行前，构建影子内存空间，对被污点标记的指针的边界信息进行存储；然后对程序中污点标记的指针创建其边界信息，并传播到其他相关指针；最后对于程序中使用污点标记的指针写内存的指令进行指针边界检测，通过在程序中插入容忍错误的代码，使得程序可以容忍空间内存错误的发生，保证程序的可用性。本发明使得被转换过的程序在运行时性能开销降低，并且能够有效检测出空间内存错误。另外本发明采用错误容忍的方法，提高程序的可用性，防止程序遭受拒绝服务攻击。

主权项

一种空间内存错误检测方法，包括以下步骤：1)对程序进行静态污点分析，标记污点指针；2)对程序进行编译生成中间代码，并构建内存影子空间；3)分析程序的中间代码，创建所述污点指针的base和bound边界信息，并存储到所述内存影子空间；4)分析所述中间代码的指针运算、数组索引和指针赋值三种指令，将参与运算的被标记为污点指针的原始指针的边界信息拷贝到运算后得到的结果指针对应的内存影子空间；5)对程序中使用污点指针进行写内存的指令进行指针边界检测，根据污点指针的base和bound边界信息确定的内存边界检测出空间内存错误。