Flow-insensitive interprocedural alias analysis in the presence of pointers

1995 ◽  
pp. 234-250 ◽  
Author(s):  
Michael Burke ◽  
Paul Carini ◽  
Jong-Deok Choi ◽  
Michael Hind
Keyword(s):  
Alias Analysis

Efficient subcubic alias analysis for C

2014 ◽  
Vol 49 (10) ◽  
pp. 829-845 ◽  
Author(s):  
Qirun Zhang ◽  
Xiao Xiao ◽  
Charles Zhang ◽  
Hao Yuan ◽  
Zhendong Su
Keyword(s):  
Alias Analysis

Layered Region Based Flow-Sensitive Demand-Driven Alias Analysis

2014 ◽  
Vol 577 ◽  
pp. 917-920
Author(s):  
Long Pang ◽  
Xiao Hong Su ◽  
Pei Jun Ma ◽  
Ling Ling Zhao
Keyword(s):  
Program Analysis ◽  
Control Flow ◽  
Alias Analysis ◽  
Reachability Problem ◽  
Analysis Algorithm ◽  
Context Free Language ◽  
Context Free ◽  
Free Language ◽  
Demand Driven Analysis

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.

Interprocedural alias analysis: Implementation and empirical results

1993 ◽  
Vol 23 (11) ◽  
pp. 1201-1233 ◽  
Author(s):  
Herbert G. Mayer ◽  
Michael Wolfe
Keyword(s):  
Alias Analysis ◽  
Empirical Results

scholarly journals Alias analysis method for object-oriented programs using alias flow graphs

2004 ◽  
Vol 35 (4) ◽  
pp. 49-59 ◽  
Author(s):  
Fumiaki Ohata ◽  
Kazuhiro Kondou ◽  
Katsuro Inoue
Keyword(s):  
Object Oriented ◽  
Analysis Method ◽  
Alias Analysis ◽  
Flow Graphs

RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis

2019 ◽  
Author(s):  
Dongliang Mu ◽  
Wenbo Guo ◽  
Alejandro Cuevas ◽  
Yueqi Chen ◽  
Jinxuan Gai ◽  
...  
Keyword(s):  
Neural Network ◽  
Alias Analysis
Sign in / Sign up

Export Citation Format

Share Document