Recency-Abstraction for Heap-Allocated Storage
File(s)
Date
2005Author
Balakrishnan, Gogul
Reps, Thomas
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item recordAbstract
In this paper, we present an abstraction for heap-allocated storage, called the recency-abstraction, that allows abstract-interpretation algorithms to recover non-trivial information for heap-allocated data objects. As an application of the recency-abstraction, we show how it can resolve virtual-function calls in stripped executables (i.e., executables from which debugging information has been removed).
Permanent Link
http://digital.library.wisc.edu/1793/60478Citation
TR1548