缓冲区溢出检测模型研究  

Study on the Checking Model of Buffer Overflow

作　　者：朱虹[1] 丁雁林[1] 

机构地区：[1]华中科技大学计算机学院,武汉430074

出　　处：《计算机工程与应用》2006年第10期166-168,共3页Computer Engineering and Applications

基　　金：湖北省科技攻关项目(编号:2002AA103A06)

摘　　要：根据缓冲区溢出的基本原理,论文提出一种对缓冲区溢出进行检测的模型,模型通过对检测对象中的一些元素进行抽象和定义,给出检测缓冲区溢出的方法,并根据模型开发出针对C源程序的缓冲区溢出辅助检测工具Bufcheck。In this paper,a checking model of buffer overflow based on the principles of buffer overflow is proposed.The checking model abstracts and defines these elements of the checking objects,and it presents the ways of checking buffer overflow at the same time.At last Bufcheck,the aid tool for checking buffer overflow of C program,is developed.

关 键 词：缓冲区溢出 检测模型 检测工具 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]