论文研究 基于启发式的程序轨迹记录优化方法.pdf

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