基于变量关联规则的缓冲区溢出检测方法

摘要

本发明所述方法先识别代码中的缓冲区变量和其它预定义的关联规则，并在代码中传播和缓冲区容量相关联的变量及对应的关联函数。在得到关联关系后，本发明所述方法在缓冲区的访问点依据访问偏移量和缓冲区容量的关联关系来判断该缓冲区访问是否可能溢出。本发明中的预定义的关联规则可以简单清晰地表示出结构体的不同域间的关联关系，因此能够有效地检测出涉及结构体域对象的缓冲区访问溢出情况；[CALL]规则可以简洁地传播通过函数参数传递的关联关系，因此能够简单有效地检测出跨函数的缓冲区溢出情况。