Blogs (61) >>
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Fri 20 Jul 2018 17:00 - 17:15 at Hamburg - Design of Static Analysis

The goal of program analysis frameworks is to decrease the effort required of program analysis developers to implement a new analysis. The Soot Java optimization framework supplies analysis developers with several types of abstract analyses that depending on the developers’ needs can be further extended. Unfortunately, the applicability of the available abstract analyses in Soot is limited to the analysis with a finite abstract domain, which are sufficient for the majority of program optimization tasks. This limitation hinders the use of Soot by program analysis researchers working on abstract interpretation that commonly work with infinite abstract domains.

In this work we re-design Soot’s forward flow analysis framework to extend its support for the abstract interpretation community. To accomplish this goal, we first extend a definition of a data-flow analysis to include additional parameters required for efficient and precise computations of abstract interpretation analyses. Next, we re-factor the current Soot’s implementation of a data-flow analysis to represent the extended definition. Finally, we demonstrate the flexibility and the applicability of the refactored implementation by instantiating several essential data-flow analyses used in abstract interpretation research.

Fri 20 Jul

16:00 - 17:30: SOAP - Design of Static Analysis at Hamburg
SOAP-2018-papers153209520000016:00 - 16:50
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
SOAP-2018-papers153209880000017:00 - 17:15
Elena ShermanBoise State University
File Attached
SOAP-2018-papers153209970000017:15 - 17:30
Michael EichbergTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Michael ReifTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
Media Attached