基于可执行代码的缓冲区溢出检测模型

• 作者: 赵奇永 郑东 郑燕飞
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 可执行代码 缓冲区溢出 缓冲区溢出检测 约束求解
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 安全技术
• 页码范围: 120-122
• 页数: 3页
• 分类号: TP309
• 字数: 4152字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.12.042

摘要

根据缓冲区溢出原理,提出一种基于可执行代码的缓冲区溢出检测模型,给出该模型的理论基础,描述模型构建的过程,提出新的缓冲区引用实例的识别方法.该模型将可执行代码反汇编为汇编代码,建立函数调用关系图和控制流图,分析缓冲区变量及其引用实例,从缓冲区引用实例逆程序流方向归结路径约束,通过约束求解判断缓冲区溢出可能与否.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑东	上海交通大学密码与信息安全实验室	29	186	8.0	12.0
2	郑燕飞	上海交通大学密码与信息安全实验室	12	188	8.0	12.0
3	赵奇永	上海交通大学密码与信息安全实验室	1	11	1.0	1.0