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 条
  • [21] Exception Analysis and Points-to Analysis: Better Together
    Bravenboer, Martin
    Smaragdakis, Yannis
    ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2009, : 1 - 11
  • [22] Points-to Analysis as a System of Linear Equations
    Nasre, Rupesh
    Govindarajan, Ramaswamy
    STATIC ANALYSIS, 2010, 6337 : 422 - 438
  • [23] Aspect-Aware Points-to Analysis
    Sun, Qiang
    Zhao, Jianjun
    EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2008, : 143 - 152
  • [24] Points-to analysis using BDDs.
    Berndl, M
    Lhoták, O
    Qian, F
    Hendren, L
    Umanee, N
    ACM SIGPLAN NOTICES, 2003, 38 (05) : 103 - 114
  • [25] Points-To Analysis with Efficient Strong Updates
    Lhotak, Ondrej
    Chung, Kwok-Chiang Andrew
    POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 3 - 15
  • [26] Points-To Analysis with Efficient Strong Updates
    Lhotak, Ondrej
    Chung, Kwok-Chiang Andrew
    ACM SIGPLAN NOTICES, 2011, 46 (01) : 3 - 15
  • [27] Using XBDDs and ZBDDs in points-to analysis
    Lhotak, Ondrej
    Curial, Stephen
    Amaral, Jose Nelson
    SOFTWARE-PRACTICE & EXPERIENCE, 2009, 39 (02): : 163 - 188
  • [28] Prioritizing Constraint Evaluation for Efficient Points-to Analysis
    Nasre, Rupesh
    Govindarajan, R.
    2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2011, : 267 - 276
  • [29] Points-to analysis for partial call graph construction
    College of Computer Science and Technology, Zhejiang University, Hangzhou
    310027, China
    Zhejiang Daxue Xuebao (Gongxue Ban), 6 (1031-1040):
  • [30] Parallel Replication-Based Points-To Analysis
    Putta, Sandeep
    Nasre, Rupesh
    COMPILER CONSTRUCTION, CC 2012, 2012, 7210 : 61 - 80
12345