第一章 绪 论
1.1 研究背景与意义
1.2 国内外研究历史与现状
1.3 本文的主要贡献与创新
1.4 本论文的结构安排
第二章 理论知识
2.1 编译技术
2.1.1 词法分析
2.1.2 语法分析
2.2 模糊测试技术
2.3 符号执行技术
2.4 机器学习技术
2.5 本章小结
第三章 系统的设计与实现
3.1 系统架构
3.2 需求分析
3.3 语法匹配
3.3.1 漏洞分析
3.3.2 语法树创建
3.3.3 漏洞匹配
3.4 反编译
3.4.1 反汇编器
3.4.2 反编译器
3.5 符号执行
3.5.1 LLVM-IR中间语言翻译
3.5.2 KLEE符号执行
3.6 模糊测试
3.6.1 部署智能合约
3.6.2 模糊测试器
3.7 本章小结
第四章 系统测试
4.1 测试环境
4.2 模块测试
4.2.1 交互模块测试
4.2.2 预处理模块测试
4.2.3 语法匹配模块测试
4.2.4 反编译模块测试
4.2.5 符号执行模块测试
4.2.6 模糊测试模块测试
4.2.7 报告生成模块测试
4.3 实例测试
4.4 本章小结
第五章 总结与展望
5.1 主要成果
5.2 后续工作展望
致谢
参考文献
攻硕期间取得的研究成果
电子科技大学;