SootKeeper: Runtime Reusability for Modular Static 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
|11:45 - 12:07|
Florian KüblerTU Darmstadt, Germany, Patrick MüllerTU Darmstadt, Germany, Ben HermannUniversity of PaderbornDOI Pre-print
|12:07 - 12:30|
Anastasios Antoniadis, Konstantinos TriantafyllouUniversity of Athens, Greece, Yannis SmaragdakisUniversity of AthensDOI Pre-print File Attached