computes rich results that include both the possible allocation sites of a given pointer (points-
to information) and all pointers that can point to those allocation sites (alias information). For …

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 …

Pointer analysis is an important tool for program analysis and program optimization
procedures used in modern compilers and bug checkers. This paper introduces parameter …

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

Over the past decades, context sensitivity has been considered as one of the most effective
ideas for improving the precision of pointer analysis for Java. Different from the extremely …

Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-
limited context strings are two approaches to obtaining context sensitivity with different …

Object-sensitive pointer analysis (denoted k obj under-limiting) for an object-oriented
program can be accelerated if context-sensitivity can be selectively applied to only some …

The ability to perform strong updates is the main contributor to the precision of flow-sensitive
pointer analysis algorithms. Traditional flow-sensitive pointer analyses cannot strongly …

Despite being a very old discipline, pointer analysis still attracts several research papers
every year in premier programming language venues. While a major goal of contemporary …

Object-sensitivity is widely used as a context abstraction for computing the points-to
information context-sensitively for object-oriented languages like Java. Due to the …