@inproceedings{04aaaf2778284b5f90b03060cb8a9a31,
title = "Layered region based flow-sensitive demand-driven alias analysis",
abstract = "The pointer alias is indispensable for program analysis. Comparing to point-to set, it's more efficient to formulate the alias as the context free language (CFL) reachability problem. However, the precision is limited to flow-insensitivity. To solve this problem, we propose a flow sensitive, demand-driven analysis algorithm for answering may-alias queries. First the partial single static assignment is used to discriminate the address-taken pointers. Then the order of control flow is encoded in the level linearization code to ease comparison. Finally, the query of alias in demand driven is converted into the search of CFL reachability with feasible flows. The experiments demonstrate the effectiveness of the proposed approach.",
keywords = "Alias analysis, Dyck-CFL-reachability, Flow sensitive analysis, Graph reachability",
author = "Long Pang and Su, \{Xiao Hong\} and Ma, \{Pei Jun\} and Zhao, \{Ling Ling\}",
year = "2014",
doi = "10.4028/www.scientific.net/AMM.577.917",
language = "英语",
isbn = "9783038351559",
series = "Applied Mechanics and Materials",
publisher = "Trans Tech Publications Ltd",
pages = "917--920",
booktitle = "Applied Decisions in Area of Mechanical Engineering and Industrial Manufacturing",
address = "瑞士",
note = "3rd International Conference on Mechanical, Control, and Electronic Information, ICMCEI 2014 ; Conference date: 27-06-2014 Through 29-06-2014",
}