Title :
New Approach to Path Explosion Problem of Symbolic Execution
Author :
Xiao, Xu ; Zhang, Xiao-Song ; Li, Xiong-Da
Author_Institution :
Sch. of Comput. Sci. & Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China
Abstract :
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.
Keywords :
program testing; security of data; software quality; function abstraction; heuristic learning; path explosion problem; software vulnerability discovery; symbolic execution; Algorithm design and analysis; Explosions; Heuristic algorithms; Security; Software; Software algorithms; Testing; Funtcion Abstraction; Heuristic learning and search; Path Explosion; Symbolic Execution;
Conference_Titel :
Pervasive Computing Signal Processing and Applications (PCSPA), 2010 First International Conference on
Conference_Location :
Harbin
Print_ISBN :
978-1-4244-8043-2
Electronic_ISBN :
978-0-7695-4180-8
DOI :
10.1109/PCSPA.2010.80
