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

Method of program tracking based on heuristic recording

作　　者：林伟 祝跃飞 蔡瑞杰 LIN Wei;ZHU Yuefei;CAI Ruijie(State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou 450002, China)

机构地区：[1]数学工程与先进计算国家重点实验室,郑州450002

出　　处：《计算机工程与应用》2016年第21期134-139,共6页Computer Engineering and Applications

基　　金：国家科技支撑计划(No.2012BAH47B01);国家自然科学基金(No.61170234;No.61309007);郑州科技创新团队项目(No.10CXTD150)

摘　　要：离线污点分析的轨迹记录过程的时空开销非常巨大,因此研究高效的轨迹记录方式在离线污点分析中具有重要意义。基于此,针对传统指令级轨迹记录存在的时空开销过大的问题,结合程序重放的思想,提出了一种启发式的轨迹记录方法,只在基本块和特殊事件发生时记录寄存器变化状态信息,并对该种记录方法的信息等价性进行了理论证明。实验表明,该方法能够有效降低离线污点分析中轨迹记录的时空开销,提高污点分析效率。Time and space overhead of the track process in the off-line taint analysis is enormous, so research on the efficient track method is of great significance in the offline taint analysis. This paper proposes an efficient method of track recording. The method uses Pin to record executed instructions, only records the changes of registers when the uncertain event occurs, then reduces the track data, and proves the information equivalence theoretically. Experiments show that the method can effectively reduce the time and spaces overhead of the track process in the off-line taint analysis, and improve efficiency of the taint analysis.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]