License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.2.1.12
URN: urn:nbn:de:0030-drops-61334
URL: http://drops.dagstuhl.de/opus/volltexte/2016/6133/
Go back to Dagstuhl Artifacts Series


Späth, Johannes ; Nguyen Quang Do, Lisa ; Ali, Karim ; Bodden, Eric

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

pdf-format:
DARTS-2-1-12.pdf (0.4 MB)
artifact-format:
DARTS-2-1-12-artifact-17b19151cdb85b9493f5718976fbdffa.zip (49 MB)


Abstract

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.

BibTeX - Entry

@Article{spth_et_al:DARTS:2016:6133,
  author =	{Johannes Sp{\"a}th and Lisa Nguyen Quang Do and Karim Ali and Eric Bodden},
  title =	{{Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)}},
  pages =	{12:1--12:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2016},
  volume =	{2},
  number =	{1},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6133},
  URN =		{urn:nbn:de:0030-drops-61334},
  doi =		{10.4230/DARTS.2.1.12},
  annote =	{Keywords: Demand-Driven; Static Analysis; IFDS; Aliasing; Points-to Analysis}
}

Keywords: Demand-Driven; Static Analysis; IFDS; Aliasing; Points-to Analysis
Seminar: DARTS, Volume 2, Issue 1
Related Scholarly Article: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.22
Issue Date: 2016
Date of publication: 14.07.2016


DROPS-Home | Fulltext Search | Imprint Published by LZI