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

摘要

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