2 search results - page 1 / 1 » Precise and compact modular procedure summaries for heap man... |
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...