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 …

Data flow analysis is used to discover information for a wide variety of useful applications,
ranging from compiler optimizations to software engineering and verification. Modern …

Existing precise context-sensitive heap analyses do not scale well for large OO programs.
Further, identifying the right context abstraction becomes quite intriguing as two of the most …

We present context tunneling, a new approach for making k-limited context-sensitive points-
to analysis precise and scalable. As context-sensitivity holds the key to the development of …

Modern software engineering revolves around distributed applications. From IoT networks to
client-server infrastructures, the application code is increasingly being divided into separate …

An interprocedural analysis is precise if it is flow sensitive and fully context-sensitive even in
the presence of recursion. Many methods of interprocedural analysis sacrifice precision for …

In this paper, we challenge the commonly-accepted wisdom in static analysis that object
sensitivity is superior to call-site sensitivity for object-oriented programs. In static analysis of …

A context-sensitive points-to analysis maintains separate points-to relationships for each
possible (abstract) calling context of a method. Previous work has shown that a large …

Modern software engineering revolves around distributed applications. From IoT networks to
client-server infrastructures, the application code is increasingly being divided into separate …

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 …