A New May-alias Analysis Method

被引：0
|
作者：
Zhang, ZhiXiang [1 ]
Ding, Bin [1 ]
机构：
[1] Navel Acad Engn, Dept Comp Engn, Wuhan 430033, Hubei, Peoples R China
来源：
2012 WORLD AUTOMATION CONGRESS (WAC) | 2012年
关键词：
Pointer analysis; Demand-driven analysis; Alias; analysis; FLOW;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Alias analysis is important for data-flow analysis, program optimization and realization of programming environment and program analyzing tools. We have presented a novel demand-driven algorithm that answers may-alias queries. After describing the graph representation of programs and alias relation, we have formulated the alias problem as a graph traversal problem. The DFS algorithm has small time and space consumption, making the approach attractive.
引用
收藏
页数：4
相关论文
共 50 条
  • [1] INTERPROCEDURAL MAY-ALIAS ANALYSIS FOR POINTERS - BEYOND KAPPA-LIMITING
    DEUTSCH, A
    [J]. SIGPLAN NOTICES, 1994, 29 (06): : 230 - 241
  • [2] EFFICIENT ACCOMMODATION OF MAY-ALIAS INFORMATION IN SSA FORM
    CYTRON, R
    GERSHBEIN, R
    [J]. SIGPLAN NOTICES, 1993, 28 (06): : 36 - 45
  • [3] Precise flow-insensitive may-alias analysis is NP-hard
    Horwitz, S
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (01): : 1 - 6
  • [4] An alias resolution method based on delay sequence analysis
    Tao, Yang
    Hu, Gang
    Hou, Bingnan
    Cai, Zhiping
    Xia, Jing
    Fong, Cheang Chak
    [J]. Computers, Materials and Continua, 2020, 63 (03): : 1433 - 1443
  • [5] An Alias Resolution Method Based on Delay Sequence Analysis
    Tao, Yang
    Hu, Gang
    Hou, Bingnan
    Cai, Zhiping
    Xia, Jing
    Fong, Cheang Chak
    [J]. CMC-COMPUTERS MATERIALS & CONTINUA, 2020, 63 (03): : 1433 - 1443
  • [6] An analysis of the alias method for discrete random-variate generation
    Smith, JC
    Jacobson, SH
    [J]. INFORMS JOURNAL ON COMPUTING, 2005, 17 (03) : 321 - 327
  • [7] Batch Alias Analysis
    Vedurada, Jyothi
    Nandivada, V. Krishna
    [J]. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 936 - 948
  • [8] Alias analysis for parallelization
    Parimaladevi, R
    Subramanian, RK
    [J]. PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS - PROCEEDINGS OF THE ISCA 9TH INTERNATIONAL CONFERENCE, VOLS I AND II, 1996, : 292 - 295
  • [9] Interprocedural Constant Range Propagation and Alias Analysis by Multiple Version Method
    方先宏
    张兆庆
    乔如良
    [J]. Journal of Computer Science & Technology, 1995, (05) : 403 - 416
  • [10] A New Method for Measuring Alias-Free Aperture Jitter in an ADC Output
    Yamaguchi, Takahiro J.
    Degawa, Katsuhiko
    Kawabata, Masayuki
    Ishida, Masahiro
    Uekusa, Kouichiro
    Soma, Mani
    [J]. 2015 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2015,
12345