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",
}
Powered by bibtexbrowser