| Title | SootKeeper: Runtime Reusability for Modular Static Analysis |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Kübler, Florian, Müller, Patrick, Hermann, Ben |
| Conference Name | Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis |
| Publisher | ACM |
| Conference Location | New York, NY, USA |
| ISBN Number | 978-1-4503-5072-3 |
| Keywords | composability, Human Behavior, modularity, pubcrawl, resilience, Resiliency, static analysis, static code analysis |
| Abstract | 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. |
| URL | http://doi.acm.org/10.1145/3088515.3088518 |
| DOI | 10.1145/3088515.3088518 |
| Citation Key | kubler_sootkeeper:_2017 |
SootKeeper: Runtime Reusability for Modular Static Analysis