基于动态符号执行的控制流图和调用图提取

目录

声明

第一章 绪 论

1.1 研究背景与意义

1.2 控制流图和调用图提取国内外研究现状

1.3 本文研究内容

1.4 本文组织结构

1.5 本章小结

第二章 控制流图和调用图提取相关技术研究

2.1 控制流图和调用图基本工具的介绍

2.1.1 静态分析工具IDA Pro

2.1.2 暴力执行工具X-Force

2.1.3 符号执行工具KLEE

2.1.4 符号执行工具Angr

2.2 动态符号执行架构

2.2.1 动态符号执行整体框架

2.2.2 符号传播

2.2.3 控制流图和调用图

2.3 路径爆炸问题以及缓解方案

2.4 本章小结

第三章 控制流图和调用图提取系统的实现

3.1 总体设计

3.2.1 中间语言转化

3.2.2 符号化以及约束求解

3.3 控制流和调用流的识别

3.3.1 程序控制流识别

3.3.2 程序中调用流识别

3.3.3 系统API识别

3.4 系统展示

3.5 本章小结

第四章 动态符号执行时间优化算法研究与实现

4.1 算法设计动机

4.2 多进程共同探索的可行性

4.2.1 计算机的多核心特性

4.2.2 Python全局解释锁的存在

4.3 并行探索算法设计与实现

4.3.1 算法总体设计

4.3.2 状态编码模块设计与实现

4.3.3 状态恢复模块设计与实现

4.4 本章小结

第五章 控制流图和调用图提取系统测试及评估

5.1.1 实验环境

5.1.2 实验测量标准

5.2 控制流图和调用图提取工具评估与测试

5.2.1 二进制程序选择

5.2.2 实验结果与分析

5.3 时间优化算法评估与测试

5.3.1 二进制程序选择

5.3.2 实验结果与分析

5.3.3 详细测试与分析

5.4 本章小结

第六章 总结与展望

6.1 论文工作总结

6.2 后续研究工作

致谢

参考文献

攻读硕士学位期间取得的成果