基于二进制文件的缓冲区溢出检测研究

摘要

本文首先概要介绍了缓冲区溢出的原理，接着分析了现有的国内外相关研究及其工具，然后，主要描述了一种利用静态分析和动态分析相结合的基于二进制代码的缓冲区溢出分析检测技术，详细分析了该检测技术的主要思想并介绍了模型中的三个主要模块以及原型设计与实现。最后，比较和分析了该工具检测二进制代码的结果与传统工具检测对应源程序的结果，并提出了存在的不足和可改进之处。