论文部分内容阅读
构建控制流图( CFG)是二进制程序分析的基础工作,针对静态构建方法无法处理间接跳转,动态构建方法效率低、不适用于大规模程序的问题,提出结合静态分析和动态分析的混合分析方法.使用静态分析获得基础的控制流信息;采用模糊测试生成测试用例以进行动态分析,利用动态插桩获得间接跳转信息;融合静态分析和动态分析结果生成控制流图.基于该混合分析方法,设计并实现了面向x86 平台二进制程序的控制流图构建工具CFGConstructor.分别在示例程序和CGC 数据集上进行实验,评估该工具的有效性和性能.实验结果表明CFG