Seeker:Flow-sensitive Demand-driven Points-to Analysis

Kejun XIAO,Haibo YU,Yuting CHEN,Hao ZHONG
DOI: https://doi.org/10.3969/j.issn.1000-3428.2016.11.012
2017-01-01
Abstract:Many demand-driven points-to analysis techniques are proposed to suit some environments bounded by strict limits of time and memory usage.Improving the demand-driven points-to analysis in a flow sensitive manner helps achieve precise points-to relations for some variables.Due to the existence of strong flow and data dependencies in the large-scale software systems,it is difficult in identifying effectively all the program statements contributing to the points-to relations of the objective variables.This paper proposes a flow-sensitive program representation approach and defines a notion of Context Free Language(CFL)reachability which helps explore all the flow-sensitive points-to relations for the objective variables.It also develops a Seeker tool,which can compute the points-to sets of the variables of interest. Experimental results show that the demand-driven points-to analysis algorithm improves the efficiency of the Flow Sensitive Context Insensitive(FSCI)points-to analysis.
What problem does this paper attempt to address?