缓冲区溢出的建模分析

摘要：

论文介绍了一种检测缓冲区溢出漏洞的建模方法.该方法的关键是对C语言的源代码做静态分析,把缓冲区溢出这个事件作为一个整数区域问题来看待,从而建立缓冲区溢出的数学模型.该模型的一个优点是在代码编译以前可以通过静态分析的方法来发现潜在的缓冲区溢出漏洞.

关键词：缓冲区溢出、检测、建模

所属期刊栏目：41

分类号：TP301(计算技术、计算机技术)

在线出版日期：2005-04-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：88-90