基于二进制重写的混合分析构建控制流图方案

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘 要：控制流图（CFG）是二进制程序分析的基础。传统静态分析方法构建控制流图速度快，代码覆盖率高，但不能解决间接跳转问题；动态分析方法能够分析间接跳转，但代码覆盖率低、性能开销大。为更加高效构建完备的控制流图，提出静态动态结合的混合分析方案。首先使用静态分析获取程序的初始控制流图，采用模糊测试的方法获取目标程序不同执行流的输入数据，诱导重写后的目标程序执行获取间接跳转地址；融合静态分析和动态分析结果，从而高效构建完备的控制流图。（剩余14954字）

试读结束

目录
monitor