基于启发式的程序轨迹记录优化方法

• 作者: 林伟 祝跃飞 蔡瑞杰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 启发式 轨迹记录 离线污点分析 动态二进制插桩 轨迹约减
• 年，卷（期）: 2016,（21）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 134-139
• 页数: 6页
• 分类号: TP309
• 字数: 5903字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1412-0338

摘要

离线污点分析的轨迹记录过程的时空开销非常巨大，因此研究高效的轨迹记录方式在离线污点分析中具有重要意义。基于此，针对传统指令级轨迹记录存在的时空开销过大的问题，结合程序重放的思想，提出了一种启发式的轨迹记录方法，只在基本块和特殊事件发生时记录寄存器变化状态信息，并对该种记录方法的信息等价性进行了理论证明。实验表明，该方法能够有效降低离线污点分析中轨迹记录的时空开销，提高污点分析效率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林伟		10	18	2.0	4.0
2	蔡瑞杰		3	3	1.0	1.0
3	祝跃飞		16	69	4.0	8.0