| 缓冲区溢出检测模型研究 |
| |
| 引用本文： | 朱虹,丁雁林.缓冲区溢出检测模型研究[J].计算机工程与应用,2006,42(10):166-168. |
| |
| 作者姓名： | 朱虹 丁雁林 |
| |
| 作者单位： | 华中科技大学计算机学院,武汉,430074 |
| |
| 摘 要： | 根据缓冲区溢出的基本原理,论文提出一种对缓冲区溢出进行检测的模型,模型通过对检测对象中的一些元素进行抽象和定义,给出检测缓冲区溢出的方法,并根据模型开发出针对C源程序的缓冲区溢出辅助检测工具Bufcheck。
|
| 关 键 词： | 缓冲区溢出 检测模型 检测工具 |
| 文章编号： | 1002-8331-（2006）10-0166-03 |
| 收稿时间： | 2005-08-01 |
| 修稿时间： | 2005-08-01 |
Study on the Checking Model of Buffer Overflow |
| |
| Zhu Hong,Ding Yanlin.Study on the Checking Model of Buffer Overflow[J].Computer Engineering and Applications,2006,42(10):166-168. |
| |
| Authors: | Zhu Hong Ding Yanlin |
| |
| Affiliation: | School of Computer Science,Huazhong University of Science and Technology,Wuhan 430074 |
| |
| Abstract: | 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. |
| |
| Keywords: | buffer overflow checking model checking tool |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
