This paper surveys recent work on applying analysis and transformation techniques that
originate in the field of constraint logic programming (CLP) to the problem of verifying …

Understanding program behaviors is important to verify program properties or to optimize
programs. Static analysis is a widely used technique to approximate program behaviors via …

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 …

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 …

Object-sensitive pointer analysis, which separates the calling contexts of a method by its
receiver objects, is known to achieve highly useful precision for object-oriented languages …

Data-flow analyses like points-to analysis can vastly improve the precision of other analyses,
and enable powerful code optimizations. However, whole-program points-to analysis of …

Designing a whole-program static analysis requires trade-offs between precision and
scalability. While a context-insensitive points-to analysis is often considered a good …

In this paper, we introduce DebloaterX, a new approach for automatically identifying context-
independent objects to debloat contexts in object-sensitive pointer analysis (k obj). Object …

Context-sensitive global analysis of large code bases can be expensive, which can make its
use impractical during software development. However, there are many situations in which …

Context-sensitive analysis of programs containing recursive procedures may be expensive,
in particular, when using expressive domains, rendering the set of possible contexts large or …