Fast points-to analysis for languages with structured types

被引：0
|
作者：
Jung, M [1 ]
Huss, SA [1 ]
机构：
[1] Tech Univ Darmstadt, Dept Comp Sci, Integrated Circuits & Syst Lab, D-64287 Darmstadt, Germany
来源：
SOFTWARE AND COMPILERS FOR EMBEDDED SYSTEMS, PROCEEDINGS | 2004年 / 3199卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The C programming language is still ubiquitous in embedded software development. For many tools that operate on programs written in pointer languages like C, it is essential to have a good approximation of the information about where the pointer variables possibly may point to at runtime. We present a points-to analysis, which is based on Steens-gaard's approach to points-to analysis [12], but achieves a higher level of precision.
引用
收藏
页码：107 / 121
页数：15
相关论文
共 50 条
  • [41] Parallel Inclusion-based Points-to Analysis
    Mendez-Lojo, Mario
    Mathew, Augustine
    Pingali, Keshav
    ACM SIGPLAN NOTICES, 2010, 45 (10) : 428 - 443
  • [42] Parallel Sparse Flow-Sensitive Points-to Analysis
    Zhao, Jisheng
    Burke, Michael G.
    Sarkar, Vivek
    CC'18: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2018, : 59 - 70
  • [43] Scaling Java']Java points-to analysis using SPARK
    Lhoták, O
    Hendren, L
    COMPILER CONSTRUCTION, PROCEEDINGS, 2003, 2622 : 153 - 169
  • [44] An Incremental Points-to Analysis with CFL-Reachability
    Lu, Yi
    Shang, Lei
    Xie, Xinwei
    Xue, Jingling
    COMPILER CONSTRUCTION, CC 2013, 2013, 7791 : 61 - 81
  • [45] Demand-driven points-to analysis for Java']Java
    Sridharan, M
    Gopan, D
    Shan, L
    Bodík, R
    ACM SIGPLAN NOTICES, 2005, 40 (10) : 59 - 76
  • [46] Active Learning of Points-To Specifications
    Bastani, Osbert
    Sharma, Rahul
    Aiken, Alex
    Liang, Percy
    PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 678 - 692
  • [47] Points-to analysis for Java']Java using annotated constraints
    Rountev, A
    Milanova, A
    Ryder, BG
    ACM SIGPLAN NOTICES, 2001, 36 (11) : 43 - 55
  • [48] Exploiting the Structure of the Constraint Graph for Efficient Points-to Analysis
    Nasre, Rupesh
    ACM SIGPLAN NOTICES, 2012, 47 (11) : 121 - 132
  • [49] Hash Consed Points-To Sets
    Barbar, Mohamad
    Sui, Yulei
    STATIC ANALYSIS, SAS 2021, 2021, 12913 : 25 - 48
  • [50] A constraint-weaving approach to points-to analysis for AspectJ
    Sun, Qiang
    Chen, Yuting
    Zhao, Jianjun
    FRONTIERS OF COMPUTER SCIENCE, 2014, 8 (01) : 52 - 68
12345