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

SOAP-2017-papers
11:45 - 12:30: SOAP - Modular Analysis at Vertex WS216
SOAP-2017-papers11:45 - 12:07
Talk
Florian KüblerTU Darmstadt, Germany, Patrick MüllerTU Darmstadt, Germany, Ben HermannUniversity of Paderborn
DOI Pre-print
SOAP-2017-papers12:07 - 12:30
Talk
Anastasios Antoniadis, Konstantinos TriantafyllouUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens
DOI Pre-print File Attached