基于混合分析的二进制程序控制流图构建方法

• 作者: 朱凯龙 邓一杰 邓兆琨 陆余良 黄晖
• 来源期刊: 浙江大学学报(工学版)
• 学科: 工学
• 关键词: 二进制程序分析 控制流图(CFG) 混合分析技术 模糊测试 动态二进制插桩
• 年，卷（期）: 2019,（5）
• 所属期刊栏目: 计算机与控制工程
• 页码范围: 829-836
• 页数: 8页
• 分类号: TP 311
• 字数: 5728字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓一杰	国防科技大学电子对抗学院	3	4	1.0	1.0
2	朱凯龙	国防科技大学电子对抗学院	8	8	2.0	2.0
3	黄晖	国防科技大学电子对抗学院	6	2	1.0	1.0
4	邓兆琨	国防科技大学电子对抗学院	5	2	1.0	1.0
5	陆余良	国防科技大学电子对抗学院	8	16	2.0	4.0