Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [PUMA: static LLVM, its engineering analysis → and compositional analysis, Inter-procedural Automated Software C/C++,] URL