Exact Heap Summaries for Symbolic Execution
Abstract elided by the publisher.
Related papers
- Efficient bottom-up heap analysis for symbolic path-based data access summaries CGO 2012
- Precise and compact modular procedure summaries for heap manipulating programs PLDI 2011
- Toward Tool-Independent Summaries for Symbolic Execution ECOOP 2023
- Specification-Driven Generation of Summaries for Symbolic Execution ESOP 2026
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding ECOOP 2023
- Java Ranger at SV-COMP 2020 (Competition Contribution) TACAS 2020
- PSI: Exact Symbolic Inference for Probabilistic Programs CAV 2016