基于函数摘要的二进制程序污点分析优化方法.docx

0 引言 污点分析[1]作为一种常用的软件分析方法，在信息安全领域有较多的研究和使用，典型的应用包括恶意代码分析[2-3]、软件脆弱性分析[4,5,6,7]和网络攻击行为检测[8-9]等。 二进制程序动态污点分析技术虽然已有多年的研究，但是动态跟踪污点数据带来的程序执行效率严重下降，使得现有污点分析框架很难应用于商业软件或者大规模的恶意样本分析。在动态污点分析中，大多会使用到动态二进制插桩程序技术（如 Pin[10]、Dynamorio[11]等），对于任意一条指令，污点分析执行时间包括3个部分，即程序指令执行时间、插桩程序执行时间、污点传播分析时间，其中后两部分时间开销往往是第一部分的数倍。