基于执行踪迹离线索引的污点分析方法研究

• 作者: 张涛 李舟军 沈东 章张锴 马金鑫
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 污点分析 离线索引 指令踪迹 漏洞检测
• 年，卷（期）: 2017,（9）
• 所属期刊栏目: 信息系统安全专题
• 页码范围: 2388-2401
• 页数: 14页
• 分类号: TP311
• 字数: 12124字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005179

摘要

针对二进制代码的污点分析方法在软件逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义.目前,大多数污点分析方法不支持浮点指令,执行效率较低,且传播的精度也不够高.提出并实现了一种基于执行踪迹离线索引的污点分析方法,以字节为粒度,且支持污点标签.提出执行踪迹离线索引的生成及查询算法,通过离线索引可跳过与污点数据无关的指令,提高污点分析的效率.首次描述并解决了即时翻译执行导致的污点丢失问题.使用污点标签以标识污点的来源和位置.提出较完善的污点传播算法,支持浮点指令,以尽可能精确地刻画污点信息从源操作数传递到目的操作数的过程.实现了灵活的可配置机制,用户可通过黑名单动态地引入污点数据.将提出的方法应用到漏洞检测的场景中,使用12个真实的软件漏洞作为测试样本集,将该方法与TEMU作对比实验,实验结果表明:该方法具备较强的漏洞检测能力,可验证的漏洞数比TEMU更多,且其平均执行效率比TEMU高5倍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	张涛		7	17	2.0	4.0
3	马金鑫		7	20	3.0	4.0
4	沈东	北京航空航天大学计算机学院	2	14	2.0	2.0
5	章张锴	北京航空航天大学计算机学院	2	10	1.0	2.0