Abstracting Path Conditions
Abstract
We present a symbolic-execution-based algorithm that for a given program and a given program location produces a nontrivial necessary condition on input values to drive the program execution to the given location. We also propose an application of necessary conditions in contemporary bug-finding and test-generation tools. Experimental results show that the presented technique can significantly improve performance of the tools.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2011
- DOI:
- arXiv:
- arXiv:1112.5671
- Bibcode:
- 2011arXiv1112.5671S
- Keywords:
-
- Computer Science - Software Engineering;
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages
- E-Print:
- a shorter version published at ISSTA 2012. arXiv admin note: text overlap with arXiv:1112.4703