基于符号摘要的动态符号执行的研究

封面

声明

中文摘要

英文摘要

目录

第一章 绪论

1.1 研究背景及意义

1.2 相关工作研究现状

1.3 论文研究工作

1.4 论文组织结构

第二章 动态符号执行技术概述

2.1原理和执行过程

2.2 相关工具介绍

2.3 动态符号执行面临的问题

2.4 效率优化方法

2.5 本章小结

第三章 基于符号摘要的优化方法

3.1 动态符号执行的方式

3.2 CTSS优化思想和执行方式

3.3 算法设计与实现

3.4 符号摘要存储问题

3.5本章小结

第四章 原型系统设计与实现

4.1 框架和流程

4.2 系统设计与实现

4.3 本章小结

第五章 实验与分析

5.1 测试环境搭建

5.2 实验与分析

5.3 本章小结

第六章总结与展望

6.1 论文工作总结

6.2 后续研究工作

致谢

参考文献

攻硕期间取得的成果