Exploiting program dependencies for scalable multiple-path symbolic execution

Abstract

This paper presents a new technique, called <i>Symbolic Program Decomposition</i> (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which symbolically execute control-flow paths individually. SPD exploits control and data dependencies to avoid analyzing unnecessary combinations of subpaths. SPD can also… (More)
DOI: 10.1145/1831708.1831733

Topics

9 Figures and Tables

Statistics

0102020112012201320142015201620172018
Citations per Year

61 Citations

Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Santelices2010ExploitingPD, title={Exploiting program dependencies for scalable multiple-path symbolic execution}, author={Ra{\'u}l A. Santelices and Mary Jean Harrold}, booktitle={ISSTA}, year={2010} }