ecoop-2021-2.bib
Bodden, Eric}, title = {{Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages [...] }, doi = {10.4230/LIPIcs.ECOOP.2021.2}, annote = {Keywords: Inter-procedural static analysis, compositional analysis, LLVM, C/C++} } …
bib, 893 B