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

Philipp Dominik Schubert, Ben Hermann, Eric Bodden

Browse the full ECOOP paper archive.