Hybrid Context-Sensitivity for Points-To Analysis

Context-sensitive points-to analysis is valuable for achieving high precision with good performance.

Authors: George Kastrinis´, Yannis Smaragdakis. 2013.

In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ‘13).

Context-sensitive points-to analysis is valuable for achieving high precision with good performance. The standard flavors of context-sensitivity are call-site-sensitivity (kCFA) and object-sensitivity. Combining both flavors of context-sensitivity increases precision but at an infeasibly high cost. We show that a selective combination of call-site- and object-sensitivity for Java points-to analysis is highly profitable.

Read the PDF: Hybrid Context-Sensitivity for Points-To Analysis