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

• 来源期刊: 科技与创新
• 关键词: 约束 线性规划求解器 缓冲区溢出 静态分析
• 年，卷（期）: 2009,（27）
• 所属期刊栏目: 信息安全
• 页码范围: 85-86,84
• 页数: 3页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2009.27.033

摘要

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