Skip to content

Hybrid Context-Sensitivity for Points-To Analysis

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 (opens in a new tab)

Get Started!

Start your journey with RelationalAI today! Sign up to receive our newsletter, invitations to exclusive events, and customer case studies.

The information you provide will be used in accordance with the terms of our Privacy Policy. By submitting this form, you consent to allow RelationalAI to store and process the personal information submitted above to provide you the content requested.