代码安全在软件开发过程中日益受到重视,人们总是期望在软件正式发布前发现并解决所有潜在的缺陷,为此提出许多软件安全测试技术,如人工静态检测、自动化模糊测试等。但是,一些软件缺陷及漏洞只有在程序运行过程中才可能被发现,因此为了解决此类问题,一些动态检测技术与解决方法被提出,其中动态符号执行因其自动探索程序路径空间的特点而得到重视,故成为近几年代码安全研究领域中的一个热点技术。动态符号执行可以自动探索程序的路径空间,分析进入各路径的约束条件并生成对应路径的测试用例,具有自动化和路径覆盖率高等优点。但是依然存在诸多瓶颈问题制约着动态符号执行的发展,如应用于大型软件测试难度大、动态符号执行代码结构复杂的程序时易产生路径爆炸问题、对于特殊的程序路径难以生成精确的测试用例、对于循环等复杂程序结构没有针对性的处理、条件复杂程序约束求解器难以求解等问题。针对上述问题,本文以提高动态符号执行效率和缓解路径爆炸为研究目的进行了深入研究,主要成果如下:(1)提出基于参数约束的分支覆盖动态符号执行优化算法。通过识别程序代码中具有特殊参数的函数,并通过检索获取函数对应的特殊参数,利用这些特殊参数作为该路径的约束条件,并将约束条件添加到当前路径的约束集中,使得动态符号执行生成更加精确的测试用例,提高路径覆盖率。(2)提出基于约束图的动态符号执行优化方法。该方法首先获取程序执行流图,然后对执行流图进行划分并通过收集的路径约束条件将程序执行流图转化为路径约束图,通过对约束图节点的判定,减少循环体的重复检测,使得动态符号执行用较少的测试用例测试较多的路径,同时减少了循环产生的路径爆炸对其的影响。本文利用动态符号执行工具CREST进行了仿真实验,并以CREST的默认执行方式作为参照,证明本文研究成果可以覆盖更多的程序执行路径、提高执行效率和缓解动态符号执行中的路径爆炸。