Research on flow sensitive demand driven alias analysis

被引：0
|
作者：
School of Computer Science and Technology, Harbin Institute of Technology, Harbin [1 ]
150001, China
机构：
来源：
Jisuanji Yanjiu yu Fazhan | / 7卷 / 1620-1630期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
10.7544/issn1000-1239.2015.20140336
中图分类号：
学科分类号：
摘要：
Graphic methods - Query processing - Context free languages - Flow graphs - Query languages
引用
收藏
相关论文
共 50 条
  • [1] 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
  • [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] Bidirectionality in flow-sensitive demand-driven analysis
    Jaiswal, Swati
    Khedker, Uday P.
    Chakraborty, Supratik
    SCIENCE OF COMPUTER PROGRAMMING, 2020, 190
  • [5] An Improved Demand-Driven Pointer Alias Analysis Algorithm
    Liu, Peng
    Zhao, Rong-cai
    Gao, Wei
    Meng, Xiang-jie
    INTERNATIONAL CONFERENCE ON COMPUTER, NETWORK SECURITY AND COMMUNICATION ENGINEERING (CNSCE 2014), 2014, : 82 - 88
  • [6] On the complexity of partially-flow-sensitive alias analysis
    Rinetzky, N.
    Ramalingam, G.
    Sagiv, M.
    Yahav, E.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (03):
  • [7] Path-sensitive alias analysis for data flow testing
    Marx, Delia I. S.
    Frankl, Phyllis G.
    Software Testing Verification and Reliability, 1999, 9 (01): : 51 - 73
  • [8] Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis
    Yu, Haibo
    Sun, Qiang
    Xiao, Kejun
    Chen, Yuting
    Mine, Tsunenori
    Zhao, Jianjun
    COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020), 2020, : 91 - 97
  • [9] Bootstrapping: A technique for scalable flow and context-sensitive pointer alias analysis
    Kahlon, Vineet
    ACM SIGPLAN NOTICES, 2008, 43 (06) : 249 - 259
  • [10] Bootstrapping: A Technique for Scalable Flow and Context-Sensitive Pointer Alias Analysis
    Kahlon, Vineet
    PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 249 - 259
12345