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 …

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 …

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 …

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

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 …

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

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 …

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 …

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 …

A lightweight pointer-analysis framework, srcPtr, is presented to support the implementation
and comparison of points-to analysis algorithms. It differentiates itself from existing tools by …