An Improved Demand-Driven Pointer Alias Analysis Algorithm

被引：0
|
作者：
Liu, Peng [1 ]
Zhao, Rong-cai [1 ]
Gao, Wei [1 ]
Meng, Xiang-jie [2 ]
机构：
[1] State Key Lab Math Engn & Adv Comp, Zhengzhou, Peoples R China
[2] Personnel Dept Henan Meteorolog Bur, Zhengzhou, Peoples R China
来源：
INTERNATIONAL CONFERENCE ON COMPUTER, NETWORK SECURITY AND COMMUNICATION ENGINEERING (CNSCE 2014) | 2014年
关键词：
Pointer alias analysis; Demand driven; Context-free language; Scalability; TO ANALYSIS;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Pointer alias analysis is a key technology in dataflow analysis, the analysis results are the basis of compilation optimization and program transformation. Based on the analysis of demand-driven pointer analysis algorithms, the imprecision of demand driven alias analysis algorithm of one level flow is studied. Combined with two demand driven analysis algorithms, an improved pointer alias analysis algorithm is proposed. Finally the algorithm is evaluated on SPEC2006 benchmark, the experiment results show that the algorithm has high precision and fine scalability than the other two.
引用
下载
收藏
页码：82 / 88
页数：7
相关论文
共 50 条
  • [1] Demand-driven pointer analysis
    Heintze, N
    Tardieu, O
    ACM SIGPLAN NOTICES, 2001, 36 (05) : 24 - 34
  • [2] Demand-Driven Alias Analysis for C
    Zheng, Xin
    Rugina, Radu
    POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 197 - 208
  • [3] Demand-driven alias analysis for C
    Zheng, Xin
    Rugina, Radu
    ACM SIGPLAN NOTICES, 2008, 43 (01) : 197 - 208
  • [4] Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis
    Karakaya, Kadiray
    Bodden, Eric
    2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST, 2023, : 305 - 316
  • [5] Layered Region Based Flow-Sensitive Demand-Driven Alias Analysis
    Pang Long
    Su Xiaohong
    Ma Peijun
    Zhao Lingling
    APPLIED DECISIONS IN AREA OF MECHANICAL ENGINEERING AND INDUSTRIAL MANUFACTURING, 2014, 577 : 917 - 920
  • [6] A Demand-driven Pointer-range Analysis Technique for Data Transmission Optimization
    Zhao, Bo
    Xu, Xiaoyan
    Liu, Peng
    Li, Yingying
    Zhao, Rongcai
    Yahyapour, Ramin
    2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS, 2018, : 557 - 564
  • [7] Value-Flow-Based Demand-Driven Pointer Analysis for C and C plus
    Sui, Yulei
    Xue, Jingling
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020, 46 (08) : 812 - 835
  • [8] A demand-driven algorithm for generating minimal models
    Ben-Eliyahu-Zohary, R
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 267 - 272
  • [9] Algorithm recognition based on demand-driven data-flow analysis
    Alias, C
    Barthou, D
    10TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2003, : 296 - 305
  • [10] A demand-driven adaptive type analysis
    Dubé, D
    Feeley, M
    ACM SIGPLAN NOTICES, 2002, 37 (09) : 84 - 97
12345