[发明专利]一种缓解路径爆炸的动态符号执行方法

摘要

本发明属于计算机软件安全测试领域，提供了一种缓解路径爆炸的动态符号执行方法。其旨在与提供一种解决路径爆炸问题的方法，该方法通过将符号执行产生的约束条件在程序静态决策图上的一次映射、获取过程，能够消除程序执行过程中循环产生的冗余约束条件，从而消除动态符号执行中因循环而导致的路径爆炸问题。本发明应用于软件测试。

主权项

一种缓解路径爆炸的动态符号执行方法，包括以下步骤：（1）通过控制流图生成及化简模块获取程序对应的静态控制流图，并根据相关理论将控制流图化简为决策图，保存在决策图数据结构中；（2）通过插桩模块对被测程序插桩;（3）通过实际执行和符号执行模块，一方面实际运行程序，检测本次运行路径中潜在的漏洞；另一方面进行符号执行，搜集该执行路径上遇到的分支节点的条件表达式，得到约束条件；（4）通过约束条件映射模块将符号执行收集到的约束条件保存到决策图对应的节点中,如果存在循环，则下一次迭代产生的约束条件将覆盖上一次保存在决策图中的约束条件，保证一个循环中相同的约束条件仅被保存一次；（5）通过路径约束条件获取模块在完成一次混合执行测试结束后，即实际执行和符号执行模块执行测试结束后，按深度优先搜索策略从决策图中搜索约束条件，组成路径约束条件，输出是精简的路径约束条件； （6）通过路径约束条件取反模块将路径约束条件的每一个表达式取反，并保存该表达式之前的约束条件，删除之后的约束条件，形成预测路径约束条件；（7）通过求解器求解模块对预测路径约束条件求解，生成新的测试用例，该测试用例能够驱动下次测试朝不同的分支路径执行，直到所有的路径都被测试完。