关键词: 符号执行, 数据挖掘, 程序路径, 可达性, 不可到达路径

Abstract: The presence of infeasible program paths remains a big obstacle in applying static analysis to software engineering activities. Without the knowledge of the infeasible path problem, data flow information can only be treated in a rather conservative way, which makes further works such as test data generation or bug finding much harder and more inefficient. This paper presents a hybrid approach, combining symbolic execution and data mining techniques for infeasible path detection. Taking advantages of the precise of symbolic execution and the efficiency of data mining, this approach proves to be effective and practical.

Key words: symbolic execution, data mining, program path, feasibility, infeasible path