… the precision and recall of Boomerang compared to the state-of-the-art demand-driven …
Boomerang to using other demand-driven pointer analyses when integrated into a taint analysis …

… to compare the pointer analysis Boomerang with two other demand-driven pointer analyses,
SB [2] and DA [3]. We show PointerBench can be used to test different pointer analyses. …

… demand-driven pointer analysis. We finally briefly explain BOOMERANG’s approach to
pointer analysis… The Call-PDS models flow- and context-sensitive data-flow analysis. Its push …

… Existing whole-program context-sensitive pointer analysis frameworks for Java, which were
opensourced over one decade ago, were designed and implemented to support only method…

… demand-driven flow- and context-sensitive pointer analysis … SUPA enables computing points-to
information via value-flow … existing demand-driven analyses for C [20], [21], [22] and Java …

… context-sensitive approaches have been put forth for scaling pointer analysis to large and
complex Java … Cut-Shortcut for fast and precise pointer analysis for Java. Its insight is simple: …

… We have excluded jython and hsqldb since their context sensitive analyses do not scale
due to overly conservative handling of Java reflection[13]. The time budget used for running …

… pointer analyses applied to a set of 12 representative Java … existing selective context-sensitive
pointer analysis algorithms … this paper, demand-driven pointer analyses [45]–[50] typicall…

… has evolved for Java pointer analysis from purely improving … work on context-sensitive pointer
analysis into three … ) are included in the wrapped flow and thus considered precision-critical…

… We present a new demand-driven flow- and context-sensitive pointer analysis with strong
updates for C programs, called SUPA, that enables computing points-to information via value-…