探讨基于语义规则污点传播优化方法

论文导读：
摘要：离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大，因此研究快速高效的污点传播分析具有重要作用。针对上述理由，提出了一种基于语义规则的污点传播分析优化策略。该策略定义了一种指令的语义描述规则，用于描述指令的污点传播语义，利用中间语言自动生成汇编指令的语义规则，再根据语义规则进行污点传播分析，避开了现有污点分析策略中指令重复执行导致的重复语义剖析，提高了污点分析的效率。实验结果表明，所提策略能够有效降低污点传播分析的时间开销，仅占传统基于中间语言污点分析的14%左右，提高了分析效率。
关键词：离线污点分析；轨迹跟踪；语义规则；污点传播；时间开销
0引言
污点分析[1-3]作为一种新兴的程序分析技术，在协议格式逆向剖析、恶意代码分析、数据结构恢复、隐私数据保护等安全领域发挥着重要作用。它的基本思想是把“不可信数据”或程序中需要分析的数据标记为污点[4]，比如系统环境变量、命令行参数、用户输入数据、文件数据及网络通信数据等，并对其的传播和使用过程进行监控和记录分析。
污点分析依照分析的时刻分为在线污点分析和离线污点分析。在线污点分析是指在执行过程中进行污点分析并输出结果。离线污点分析是指先记录程序的运转轨迹，然后依据轨迹文件进行运转时状态的还原以便污点分析。当程序对执行时间有要求时，如网络通信的超时判断、反调试的执行时间判断等，需要使用离线污点分析。 全文地址：www.7ctime.com/gbdsywlw/lw50125.html上一论文：阐释传播我国文化，先做“加减法”