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

J Späth, L Nguyen Quang Do, K Ali, E Bodden - 2016 - drops.dagstuhl.de
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 …
被引用次数：2 相关文章
[PDF] archive.org

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

J Späth, LNQ Do, K Ali, E Bodden - scholar.archive.org
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 …

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

J Späth, L Nguyen Quang Do, K Ali… - DARTS-Dagstuhl …, 2016 - drops.dagstuhl.de
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 …
[PDF] rwth-aachen.de

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

J Späth, LNQ Do, K Ali, E Bodden - dagstuhl.sunsite.rwth-aachen.de
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 …
[PDF] core.ac.uk

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

J Späth, LNQ Do, K Ali, E Bodden - core.ac.uk
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 …