Precision-Guided Context Sensitivity for Pointer Analysis


Zipper 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 the conventional context-sensitive pointer analysis (e.g., 2-object-sensitivity) to run much faster while retaining essentially all of its precision. The technical details of Zipper can be found in our paper titled " Precision-Guided Context Sensitivity for Pointer Analysis", OOPSLA'18.


MIT License


The source code, executable program and tutorial of Zipper are available at GitHub repository.