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

摘要：

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

关键词：启发式、轨迹记录、离线污点分析、动态二进制插桩、轨迹约减

所属期刊栏目：52

分类号：TP309(计算技术、计算机技术)

资助基金：国家科技支撑计划No.2012BAH47B01；国家自然科学基金No.61170234，No.61309007；郑州科技创新团队项目No.10CXTD150。

在线出版日期：2016-11-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：134-139