New Approach to Path Explosion Problem of Symbolic Execution
Xu Rui Xiao, Xiaosong Zhang, Xiongda Li · 2010
This paper is dedicated to the study of Symbolic Execution and improves the core algorithm of it using Heuristic learning, search and Function Abstraction to effectively address the path explosion problem, which will trigger the vulnerabilities that the traditional method can not find and improve the efficiency, precision and accuracy of software vulnerability discovery.