一种面向二进制程序的堆溢出检测方法

摘要

本发明提出一种面向二进制程序的堆溢出检测方法，其步骤如下：根据程序运行过程中的堆管理操作函数的调用情况，对相关堆管理操作信息进行记录；根据堆管理操作信息生成污点信息并对二者进行关联，通过对污点信息动态传播，动态监控程序运行过程中所有和污点信息相关的操作；如发现某指令中使用该污点数据，则将该条指令作为堆溢出判断指令；根据污点数据确定该指令实际访问内存地址，判断该内存地址是否存在堆溢出。通过动态监控程序运行过程中的堆分配以及堆指针，识别所有堆访问操作过程中的越界行为，从而完成堆溢出的检测。