一种基于模型检验的缓冲区溢出检测方法

缓冲区溢出已经成为程序漏洞的主要根源之一。目前存在的缓冲区溢出检测方法或多或少地都存在着不足，从而限制了这些方法的实际应用。深入研究了当前缓冲区溢出检测方法的优缺点，对程序中的缓冲区及其相关操作进行建模，设计了一种基于模型检验的缓冲区溢出检测方法，并开发了一个原型工具来对该方法进行初步验证。在剖析缓冲区溢出基本原理的基础上，对程序中的缓冲区及其相关操作建立了理论模型，设计了一种基于模型检验的缓冲区溢出检测方法。最后，实现了一个原型工具来对该方法进行初步验证。