Type-Dependence Analysis and Program Transformation for Symbolic Execution

@inproceedings{Anand2007TypeDependenceAA,
  title={Type-Dependence Analysis and Program Transformation for Symbolic Execution},
  author={Saswat Anand and Alessandro Orso and Mary Jean Harrold},
  booktitle={TACAS},
  year={2007}
}
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be of a type not handled by the underlying decision procedure, and (2) some parts of the application may be unsuitable for symbolic execution (e.g., third-party libraries). The paper presents type-dependence analysis, which performs a contextand field-sensitive interprocedural static analysis to identify program entities… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS