Details

Autor(en) / Beteiligte

• Zhang, Yufeng
• Chen, Zhenbang
• Wang, Ji
• Dong, Wei
• Liu, Zhiming

Titel

Regular property guided dynamic symbolic execution

Ist Teil von

• 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.643-653

Ort / Verlag

IEEE Press

Erscheinungsjahr

2015

Link zum Volltext

• Volltext

Quelle

IEEE Xplore Digital Library

Beschreibungen/Notizen

• A challenging problem in software engineering is to check if a program has an execution path satisfying a regular property. We propose a novel method of dynamic symbolic execution (DSE) to automatically find a path of a program satisfying a regular property. What makes our method distinct is when exploring the path space, DSE is guided by the synergy of static analysis and dynamic analysis to find a target path as soon as possible. We have implemented our guided DSE method for Java programs based on JPF and WALA, and applied it to 13 real-world open source Java programs, a total of 225K lines of code, for extensive experiments. The results show the effectiveness, efficiency, feasibility and scalability of the method. Compared with the pure DSE on the time to find the first target path, the average speedup of the guided DSE is more than 258X when analyzing the programs that have more than 100 paths.