Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Evaluating pointer analyses with respect to soundness and precision has been a tedious task. Within the artifact we present PointerBench, the benchmark suite used in the paper to evaluate the pointer analysis Boomerang with two other demand-driven pointer analyses. We show PointerBench can be used to test different pointer analyses.
In addition to that, there are 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.
As a third part the artifact contains the integration of Boomerang and the other two analyses into FlowDroid which can then be executed on arbitrary Android applications.