一种缓解路径爆炸的动态符号执行方法

摘要

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