Abstracting Symbolic Execution with String Analysis Testing (2007)
| Venue: | Academic and Industrial Conference Practice and Research TechniquesMUTATION, 2007. TAICPART-MUTATION |
| Citations: | 12 - 2 self |
BibTeX
@INPROCEEDINGS{Shannon07abstractingsymbolic,
author = {Daryl Shannon and Daiqian Zhan and Sukant Hajra and Alison Lee and Sarfraz Khurshid},
title = {Abstracting Symbolic Execution with String Analysis Testing},
booktitle = {Academic and Industrial Conference Practice and Research TechniquesMUTATION, 2007. TAICPART-MUTATION},
year = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Forward symbolic execution is a technique for program analysis that explores the execution paths of a program by maintaining a symbolic representation of the program state. Traditionally, applications of this technique have focused on symbolically representing only primitive data types, while more recent extensions have expanded to reference types. We demonstrate the ability to symbolically execute a commonly used library class, specifically a string, at an abstract level. By abstracting away the implementation details of strings using finite-state automata, symbolic execution can scale to more complex programs. This technique can be applied to programs which generate complicated strings, such as SQL database queries. 1.
