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

Abstract: 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.

Key words: heuristic, track recording, off-line taint analysis, dynamic binary instrument, track packing