线性规划在缓冲区溢出检测中的应用研究

摘要：

文中建立了一个缓冲区溢出检测模型.用整型区间约束系统来表示字符串和关键性函数,将C字符串操作抽象成线性规划问题来解决.设计了线性求解器对所产生的约束集合进行求解,进而确定缓冲区的界,然后用溢出条件判定漏洞是否发生.最后在wy-ftp-2.6.2上验证了该方法在检测缓冲区溢出上的可行性和有效性,并通过横向比较证明了其线性执行时间的效率.

关键词：约束、线性规划求解器、缓冲区溢出、静态分析

所属期刊栏目：25

分类号：TP311.1(计算技术、计算机技术)

在线出版日期：2014-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：85-86,84