This is the implementation of the techniques called ZIPPER and ZIPPER-e. ZIPPER is proposed in our OOPSLA'18 paper "Precision-Guided Context Sensitivity for Pointer Analysis", which is the first research work that shows how and where most imprecision is introduced in a context-insensitive pointer analysis. By applying context sensitivity only to the precision-critical methods identified by ZIPPER (context insensitivity to other methods), ZIPPER enables a conventional context-sensitive pointer analysis (e.g., 2-object-sensitivity) to run much faster while retaining essentially all of its precision. The artifact of our paper can be downloaded from here.

Based on ZIPPER, we proposed ZIPPER-e (short for ZIPPER-express) in our TOPLAS'20 paper "A Principled Approach to Selective Context Sensitivity for Pointer Analysis", which exhibits extremely good efficiency with high precision.

To demonstrate the usefulness of ZIPPER and ZIPPER-e to pointer analysis, we have integrated them with DOOP (PLDI'14 artifact version), a state-of-the-art context-sensitive points-to analysis framework for Java. For your convenience, this repository also contains the DOOP framework with ZIPPER and ZIPPER-e integrated.

This tutorial introduces how to build and use ZIPPER and ZIPPER-e together with DOOP.

Requirements

• A 64-bit Ubuntu system
• A Java 8 distribution
• A Python 2.x interpreter

Please set your JAVA_HOME environment variable to point to your Java installation directory.

Building ZIPPER and ZIPPER-e

We have provided a pre-compiled jar of ZIPPER and ZIPPER-e, i.e., zipper.jar (this jar also includes ZIPPER-e) in the directory zipper/build/. To build them by yourself, you just need to switch to the zipper/ directory and run script:

$ ./compile.sh

The generated zipper.jar will be placed in zipper/build/ and overwrite the previous one.

DOOP Framework

Now we introduce how to use DOOP together with ZIPPER and ZIPPER-e.

Installing Datalog Engine

To run DOOP framework, you need to install a LogicBlox engine for interpreting the Datalog rules used in DOOP. If you already have such engine installed (e.g., LogicBlox v3.9.0), you can skip this section. Otherwise, you can use PA-Datalog engine, a port available for academic use. The download link and installation instructions of PA-Datalog can be found on this page (We recommend .deb package installation).

Running DOOP

Please first change your current directory to doop/ folder.

The command of running DOOP is:

$ ./run -jre1.6 <analysis> <program-jar-to-analyze>

For example, to analyze foo.jar with 2-object-sensitive analysis, just type:

$ ./run -jre1.6 2-object-sensitive+heap foo.jar

You can check all the supported <analysis> and other options with ./run -h.

Running DOOP with ZIPPER

The usage of running ZIPPER-guided pointer analysis is exactly same as the DOOP's usage, except that you need to change the driver script from run to run-zipper.py.

For example, the command to run ZIPPER-guided 2-object-sensitive analysis for foo.jar is:

$ ./run-zipper.py -jre1.6 2-object-sensitive+heap foo.jar

Such command first runs a context-insensitive pointer analysis as pre-analysis, then executes ZIPPER to compute and output precision-critical methods, and finally runs the main analysis (2-object-sensitive+heap in this case), which applies context sensitivity to only the precision-critical methods output by ZIPPER.

Running DOOP with ZIPPER-e

To guide pointer analysis by ZIPPER-e, you just need to add option -e when running run-zipper.py.

For example, the command to run ZIPPER-e-guided 2-object-sensitive analysis for foo.jar is:

$ ./run-zipper.py -e -jre1.6 2-object-sensitive+heap foo.jar