Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java

J Späth, L Nguyen Quang Do, K Ali… - … Conference on Object …, 2016 - drops.dagstuhl.de
Many current program analyses require highly precise pointer information about small, tar-
geted parts of a given program. This motivates the need for demand-driven pointer analyses …
被引用次数：158 相关文章
[PDF] bodden.de

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

J Späth, LNQ Do, K Ali, E Bodden - bodden.de
Many current program analyses require highly precise pointer information about small,
targeted parts of a given program. This motivates the need for demand-driven pointer …
[PDF] emis.de

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

J Späth, LNQ Do, K Ali, E Bodden - cs.emis.de
Many current program analyses require highly precise pointer information about small,
targeted parts of a given program. This motivates the need for demand-driven pointer …
[PDF] tu-darmstadt.de

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

J Späth, L Nguyen, K Ali, E Bodden - download.mmag.hrz.tu-darmstadt.de
Many current program analyses require highly precise pointer information about small,
targeted parts of a given program. This motivates the need for demand-driven pointer …
[PDF] archive.org

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

J Späth, LNQ Do, K Ali, E Bodden - scholar.archive.org
Many current program analyses require highly precise pointer information about small,
targeted parts of a given program. This motivates the need for demand-driven pointer …
[PDF] dagstuhl.de

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

J Späth, LNQ Do, K Ali, E Bodden - 30th European Conference …, 2016 - drops.dagstuhl.de
Many current program analyses require highly precise pointer information about small,
targeted parts of a given program. This motivates the need for demand-driven pointer …
[PDF] tu-darmstadt.de

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

J Späth, L Nguyen, K Ali, E Bodden - download.hrz.tu-darmstadt.de
Many current program analyses require highly precise pointer information about small,
targeted parts of a given program. This motivates the need for demand-driven pointer …
[PDF] rwth-aachen.de

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

J Späth, LNQ Do, K Ali, E Bodden - dagstuhl.sunsite.rwth-aachen.de
Many current program analyses require highly precise pointer information about small,
targeted parts of a given program. This motivates the need for demand-driven pointer …

Boomerang: Demand-driven flow-and context-sensitive pointer analysis for Java

J Späth, LN Quang Do, K Ali, E Bodden - 2016 - publica.fraunhofer.de
Many current program analyses require highly precise pointer information about small, tar-
geted parts of a given program. This motivates the need for demand-driven pointer analyses …
[PDF] core.ac.uk

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

J Späth, LNQ Do, K Ali, E Bodden - core.ac.uk
Many current program analyses require highly precise pointer information about small,
targeted parts of a given program. This motivates the need for demand-driven pointer …