一种基于不等式组求解的缓冲区溢出检测

摘要：

分析了基于静态代码分析的缓冲区溢出检测的一般方法的不足，将基于源代码分析的缓冲区溢出检测问题转化成为一个不等式组求解的数学问题，设计了基于不等式组求解的缓冲区溢出检测模型。新方法克服了一般方法的不足，可以实质性的提高缓冲区检测的效率。

关键词： 缓冲区溢出 不等式组求解 静态代码分析 危险函数

作者: 徐国爱 张淼 杨义先

作者单位: 北京邮电大学 信息安全中心,北京 100876

会议类型: 国内会议

会议名称: 北京邮电大学信息工程学院第四届学术年会

会议地点: 北京

会议语种:中文

页码: 212-217

在线出版日期: 2008-01-01（万方平台首次上网日期，不代表论文的发表时间）