基于内存访问轨迹的程序脆弱性检测

• 作者: 彭双和 韩静
• 来源期刊: 北京交通大学学报
• 学科: 工学
• 关键词: 网络空间安全 内存脆弱性 内存轨迹 约束求解
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 计算机与信息技术
• 页码范围: 55-62
• 页数: 8页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.11860/j.issn.1673-0291.20190118

摘要

针对可执行程序中难以发现的内存脆弱性,提出了一种基于内存访问轨迹的程序脆弱性检测方法.应用有限状态机模型,将内存访问的轨迹看作各状态之间的转化,基于其中不合法的转化定义了几种内存脆弱性及约束条件:内存泄漏、未初始化读、双重释放、释放后读写、死写以及重复频繁读.借助二进制插桩工具Intel-Pin获取可执行程序的内存访问轨迹,结合自定义的内存脆弱性约束,通过约束求解器混合求解,从而确定程序的内存脆弱性类别和位置.结果 表明:本文方法可以检测出一些可执行程序中普遍存在的内存脆弱性以及低效代码,同时也能检测出近几年曝出的危害极大的内存漏洞及其变种.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭双和		17	78	5.0	8.0
2	韩静		8	157	4.0	8.0