Write a Blog >>
Sun 18 Jun 2017 11:45 - 12:07 at Vertex WS216 - Modular Analysis

In order to achieve a higher reusability and testability, static analyses are increasingly being build as modular pipelines of analysis components. However, to build, debug, test, and evaluate these components the complete pipeline has to be executed every time. This process recomputes intermediate results which have already been computed in a previous run but are lost because the preceding process ended and removed them from memory. We propose to leverage runtime reusability for static analysis pipelines and introduce SootKeeper, a framework to modularize static analyses into OSGi (Open Service Gateway initiative) bundles, which takes care of the automatic caching of intermediate results. Little to no change to the original analysis is necessary to use SootKeeper while speeding up the execution of code-build-debug cycles or evaluation pipelines significantly.

Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:45 - 12:30
Modular AnalysisSOAP at Vertex WS216
11:45
22m
Talk
SootKeeper: Runtime Reusability for Modular Static Analysis
SOAP
Florian Kübler TU Darmstadt, Germany, Patrick Müller TU Darmstadt, Germany, Ben Hermann University of Paderborn
DOI Pre-print
12:07
22m
Talk
Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
SOAP
Anastasios Antoniadis National and Kapodistrian University of Athens, Konstantinos Triantafyllou University of Athens, Greece, Yannis Smaragdakis University of Athens
DOI Pre-print File Attached