No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Boomerang
PointerBench
PointerBenchEvaluator
SBandDA
builds
soot-infoflow-alias
soot-infoflow-android
.gitignore
README.md

README.md

Boomerang Artifact

This is the artifact which was evaluated for the paper Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java which is published as part of the ECOOP 2016 conference. It is a bundle to be able to evaluate soundness and precision of the Boomerang, SB[1] and DA[2]. In addition to that the artifact can be used to run it on arbitrary Android applications.

There is more information on how to run the artifact available here.

[1] Refinement-based context-sensitive points-to analysis for Java.

by Manu Sridharan and Rastislav Bodík

[2] Demand-Driven Context-Sensitive Alias Analysis for Java

by Dacong Yan, Guoqing Xu and Atanas Rountev