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