Qilin's code structure

A context constructor describes how to construct a new context for a method.

Context selector selects some context elements from the context of a method to form a new context for a variable declared (or object allocated ) in the method.

A heap abstractor defines the heap abstraction for an object.

Qilin's command line entry class.

Qilin command line options

Pointer analysis patterns, which tell Qilin which PTA to invoke.

This performs the standard context-insensitive pointer analysis. The PTA pattern is "insens".

k-OBJ, the PTA pattern is "ko", k = {1, 2, 3, ...}

k-CFA, the PTA pattern is "kc", k = {1,2,3,...}

k-Type, the PTA pattern is "kt", k = {1, 2, 3, ...}

Hybrid kOBJ. The PTA pattern is "kh", k = {1, 2, 3, ...}

Context debloating for Object-sensitivity. The PTA pattern can be {ko, Z-ko, E-ko} + "-cd" respectively for debloating kOBJ, Zipper-guided kOBJ, and Eagle-guided kOBJ.

Turner-guided k-OBJ. The PTA pattern is "T-ko", k = {1, 2, 3, ...}

Mahjong-guided context-sensitive pointer analysis. The PTA pattern can be one of {M-kc, M-ko}, k = {1, 2, 3, ...}

Eagle-guided kOBJ. The PTA pattern is "E-ko", k = {1, 2, 3, ...}

Bean-guided 2-object-sensitive pointer analysis. The PTA pattern is "B-2o".

Context tunneling guided pointer analysis. The PTA patterns can be one of {'t-1c', t-2t, t-2o, t-2h}.

Data-driven point.er analysis. The PTA patterns can be {D-2o, D-2c, D-2h, D-2ht}

The old version of DaCaPo benchmarks from the artifact of Mahjong. It should be used together with jre1.6.0_45.

The latest version of DaCapo (revision 6cf0380) compiled by us. This set of benchmarks should work together with jre1.8.0_312.