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 …

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 …

Pointer analysis benefits many useful clients, such as compiler optimizations and bug
finding tools. Unfortunately, common programming language features such as dynamic …

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 …

This thesis shows that whole-program context-sensitive inclusion-based pointer analysis, a
previously intractable problem, can be efficiently solved using binary decision diagrams. In …

Context sensitivity is an essential technique for ensuring high precision in Java pointer
analyses. It has been observed that applying context sensitivity partially, only on a select …

Traditional context-sensitive pointer analysis is hard to scale for large and complex Java
programs. To address this issue, a series of selective context-sensitivity approaches have …

Context sensitivity is an essential technique for ensuring high precision in static analyses. It
has been observed that applying context sensitivity partially, only on a select subset of the …

Pointer analysis is a fundamental static program analysis, with a rich literature and wide
applications. The goal of pointer analysis is to compute an approximation of the set of …