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