第1章 绪论
1.1 课题来源与背景
1.2 课题意义
1.3 国内外相关研究现状
1.4 论文的主要内容
第2章 符号执行系统的需求分析
2.1 系统目标
2.2 系统功能需求
2.2 系统非功能需求
2.3 本章小结
第3章 符号执行系统的设计
3.1 AES符号执行系统的系统架构
3.2 基于Cache命中率的攻击
3.3 地址翻译
3.4 系统功能模块图
3.5 本章小结
第4章 符号执行系统的实现
4.1 SimpleScalar 的攻击实现
4.2 Klee 的内存访问实现
4.3 二进制地址翻译成LLVM地址
4.4 具体方法
4.5 本章小结
第5章 性能测试和分析
5.1 功能测试
5.2 非功能测试
5.3 测试结果
5.4 本章小结
结论
参考文献
声明
致谢
个人简历