一种基于程序图的栈缓冲区溢出脆弱性检测方法

摘要

本发明公开了一种基于程序图的栈缓冲区溢出脆弱性检测方法，1对源代码静态分析后构造相应程序图；2遍历程序图寻找危险函数，得到溢出点位置；3在溢出点比较函数操作的缓冲区空间与所要覆盖空间的大小计算地址偏移；4判断是否出现地址偏移而得到脆弱性检测结果。其中所述的危险函数主要针对Strncpy()、Memcpy()和Gets()三种危险函数，对于Strncpy()和Memcpy()函数，获取函数操作的缓冲区空间O和覆盖空间C，对于Gets()函数只需获取函数的缓冲区空间O；对于Strncpy函数，如果复制长度nO且O