Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis

Schubert, Philipp; Hermann, Ben; Bodden, Eric

Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis (bibtex)

@article{shb21lossless,
title = "Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis",
journal = "European Conference on Object-Oriented Programming (ECOOP)",
year = "2021",
author = "Philipp Schubert and Ben Hermann and Eric Bodden",
url = {https://www.bodden.de/pubs/shb21lossless.pdf},
awarded = {Distinguished Paper Award}
}