论文部分内容阅读
摘要:本文首先介绍了符号执行的过程内分析和程序全局分析的基本原理;接着介绍了其中的路径状态空间爆炸、复杂结构语义和操作语义建模及程序全局分析这三个关键技术的难点及相关研究;最后介绍了一些使用符号执行技术开发的研究型工具.本文从基本原理到技术难点,从理论基础到工具,系统全面地展现了符号执行技术.