基于符号执行的堆溢出fastbin攻击检测方法

• 作者: 张超 樊靖 潘祖烈
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 堆溢出 fastbin攻击 符号执行 污点分析 约束构建
• 年，卷（期）: 2020,（10）
• 所属期刊栏目: 网络空间安全
• 页码范围: 151-158
• 页数: 8页
• 分类号: TP309
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0055750

摘要

为弥补当前软件漏洞自动检测系统无法对含堆溢出漏洞的程序进行自动检测的缺陷,提出一种Linux平台下面向堆溢出的fastbin攻击的自动检测方法.基于已有的fastbin攻击实例,利用fastbin攻击特征,建立fastbin攻击检测模型,并基于该模型给出一种fastbin攻击检测方法.运用污点分析和符号执行技术,通过监控符号数据到达漏洞触发点的关键信息构建路径约束以及触发fastbin攻击的数据约束,基于对约束的求解,判断程序是否存在fastbin攻击的可能,并生成测试用例.实验结果表明,面向堆溢出的fastbin攻击检测方法能够实现对fastbin攻击的准确检测.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张超		1	0	0.0	0.0
2	潘祖烈		1	0	0.0	0.0
3	樊靖		1	0	0.0	0.0