A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Access Analysis-Based Tight Localization of Abstract Memories
[chapter]
2011
Lecture Notes in Computer Science
On-the-fly localization of abstract memory states is vital for economical abstract interpretation of imperative programs. Such localization is sometimes called "abstract garbage collection" or "framing". In this article we present a new memory localization technique that is more effective than the conventional reachability-based approach. Our technique is based on a key observation that collecting the reachable memory parts is too conservative and the accessed parts are usually tiny subsets of
doi:10.1007/978-3-642-18275-4_25
fatcat:5czhk5xjcfbtbbx6mk2t2yq5ii