忽朝俭泛路径敏感的程序遍历方法.pdfVIP

泛路径敏感的程序遍历方法 腾讯科技玄武实验室 忽朝俭 泛路径敏感的程序遍历方法 • 泛路径（或称为准路径） • 程序的过程间控制流图上，由一组简单基本块（结点）组成 的序列，而每个简单基本块（结点）由多条语句/指令组成 • 与真实的程序执行路径并不相同 » 不考虑条件表达式的值 » 只进入循环块一次 » 只进入递归函数一次 • 流敏感，上下文敏感，稍弱于路径敏感 • 一种折中的程序遍历方法 • 避免非路径敏感方法中存在海量误报的情况 • 避免路径敏感的动态分析（如模糊测试）中存在的严重漏报问题 • 避免路径敏感的符号执行方法中约束求解所需要的巨大计算开销 • 权衡分析精度和时间开销后最适合程序静态分析的路径遍历方法 程序分析与漏洞检测 • 程序分析指对程序进行自动分析，以验证、确认或发现 程序具有特定性质（或者规约、约束）的过程或活动 • 软件漏洞是程序的安全缺陷，一般表示为程序所违背的 安全性质 • 软件漏洞检测指对程序进行自动分析，以发现程序漏洞 的过程或活动 • 通常可认为软件漏洞检测是程序分析的一个子集 程序分析工具 程序分析工具 程序分析方法比较 • 动态分析、静态分析和符号执行是在程序语义不同抽象层次 上的三类程序分析方法 – 静态分析不运行程序而对程序的特定表示形式（源代码，二进制，汇 编或者其它表示形式）进行语法层面或者语义层面分析的过程或活动 – 动态分析通过运行具体程序并获取程序的输出或者内部状态等信息进 行的程序分析过程 静态分析 动态分析 – 符号执行是通过使用符号变量取代输入中的具体值来模拟程序执行的 需要运行程序 不需要 需要 程序分析方法，或者说是使用静态分析的形式完成了动态分析的工作 需要测试环境 不需要 需要 需要测试用例 不需要 需要 完备性 （漏报） 完备 （无漏报） 不完备 （有漏报） 可靠性 （误报） 不同程度可靠性 （最高无误报）可靠 （无误报） 对程序语义抽象 不同程度语义抽象 不抽象 分析精度 （敏感性） 不同分析精度 （最高路径敏感）分析精度高 （路径敏感） 分析速度 可控 速度慢 构建难度 构建难度大 构建难度小 程序分析的时间开销、精度和遍历方法的关系 • 程序分析方法的时间开销是与分析精度强相关的 • 希望的分析精度越高，分析的速度就越慢 • 分析的速度越快，分析的精度就不会太高 • 不一定是简单的正比关系 • 分析精度又主要取决于采用的程序遍历方法，一般有流敏感、 上下文敏感和路径敏感之分 • 流敏感指分析一个函数时（过程内）关注函数内语句间的控制关系 • 上下文敏感指分析函数调用时（过程间）区分函数调用/返回的位置 • 路径敏感指在条件分支指令处要根据条件表示