Directed Incremental Symbolic Execution
Abstract
The last few years have seen a resurgence of interest in the use of symbolic execution—a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution to real systems remains challenging despite recent algorithmic and technological advances. An effective approach to address scalability is to reduce the scope of the analysis. For example, in regression analysis, differences between two related program versions are used to guide the analysis. While such an approach is intuitive, finding efficient and precise ways to identify program differences, and characterize their impact on how the program executes has proved challenging in practice.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 07, 2014
- Source ID
- 10.1145/2629536
Entities
People
- Guowei Yang
- Neha Rungta
- Sarfraz Khurshid
- Suzette Person
Organizations
- Air Force Office of Scientific Research
- Ames Research Center
- Division of Computer and Network Systems
- Division of Computing and Communication Foundations
- Division of Information and Intelligent Systems
- Langley Research Center
- Texas State University
- University of Texas at Austin