@inproceedings{89ede74c624b41fab204319bbfe6a79b,
title = "Precise and compact modular procedure summaries for heap manipulating programs",
abstract = "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 first present a theory of heap decompositions that forms the basis of our approach; we then describe a full analysis algorithm that is fully symbolic and efficient. We demonstrate the precision and scalability of our approach for verification of real C and C++ programs.",
keywords = "pointer analysis, summary-based analysis",
author = "Isil Dillig and Thomas Dillig and Alex Aiken and Mooly Sagiv",
year = "2011",
doi = "10.1145/1993498.1993565",
language = "الإنجليزيّة",
isbn = "9781450306638",
series = "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",
publisher = "Association for Computing Machinery",
pages = "567--577",
booktitle = "PLDI'11 - Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation",
address = "الولايات المتّحدة",
note = "32nd ACM Conference on Programming Language Design and Implementation, PLDI 2011 ; Conference date: 04-06-2011 Through 08-06-2011",
}