• Boomerang: Demand-Driven Flow-...

Treffer: Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)

Title:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)
Authors:
Späth, Johannes, Nguyen Quang Do, Lisa, Ali, Karim, Bodden, Eric
Contributors:
Johannes Späth and Lisa Nguyen Quang Do and Karim Ali and Eric Bodden
Publisher Information:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Publication Year:
2016
Collection:
DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics )
Subject Terms:
Demand-Driven, Static Analysis, IFDS, Aliasing, Points-to Analysis
Document Type:
Fachzeitschrift article in journal/newspaper
File Description:
application/pdf
Language:
English
Relation:
Is Part Of DARTS, Volume 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.12
DOI:
10.4230/DARTS.2.1.12
Availability:
https://doi.org/10.4230/DARTS.2.1.12
https://nbn-resolving.org/urn:nbn:de:0030-drops-61334
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.12
Rights:
https://creativecommons.org/licenses/by/3.0/de/legalcode
Accession Number:
edsbas.FD6E8299
Database:
BASE

Weitere Informationen

Evaluating pointer analyses with respect to soundness and precision has been a tedious task. Within this artifact we present PointerBench, the benchmark suite used in the paper to compare the pointer analysis Boomerang with two other demand-driven pointer analyses, SB [Sridharan and Bodik, 2006] and DA [Yan et al., 2011]. We show PointerBench can be used to test different pointer analyses. In addition to that, the artifact contains usage examples for Boomerang on simple test programs. The test programs and the input on these programs to Boomerang can be changed to experiment with the algorithm and its features. Additionally, the artifact contains the integration of Boomerang, SB, and DA into FlowDroid, which can then be executed on arbitrary Android applications.