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 条
  • [31] Efficient points-to analysis for whole-program analysis
    Liang, DL
    Harrold, MJ
    SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, 1999, 1687 : 199 - 215
  • [32] Context-sensitive points-to analysis:: Is it worth it?
    Lhoták, O
    Hendren, L
    COMPILER CONSTRUCTION, PROCEEDINGS, 2006, 3923 : 47 - 64
  • [33] Hybrid Context-Sensitivity for Points-To Analysis
    Kastrinis, George
    Smaragdakis, Yannis
    ACM SIGPLAN NOTICES, 2013, 48 (06) : 423 - 433
  • [34] Staged Points-to Analysis for Large Code Bases
    Allen, Nicholas
    Scholz, Bernhard
    Krishnan, Padmanabhan
    COMPILER CONSTRUCTION (CC 2015), 2015, 9031 : 131 - 150
  • [35] Demand-Driven Refinement of Points-to Analysis
    Sun, Chenguang
    Midkiff, Samuel
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 264 - 265
  • [36] Correlation Tracking for Points-To Analysis of Java']JavaScript
    Sridharan, Manu
    Dolby, Julian
    Chandra, Satish
    Schaefer, Max
    Tip, Frank
    ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING, 2012, 7313 : 435 - 458
  • [37] Points-to Analysis: A Fine-Grained Evaluation
    Lundberg, Jonas
    Lowe, Welf
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2012, 18 (20) : 2851 - 2878
  • [38] Modeling and Diagnosing Buggy Programs with Points-to Analysis
    Peng, Tao
    Zhang, Qiang
    Chen, Rong
    MATERIALS SCIENCE AND INFORMATION TECHNOLOGY, PTS 1-8, 2012, 433-440 : 2927 - +
  • [39] Prioritizing pointer analysis algorithm based on points-to updating
    PLA Information Engineering University, Zhengzhou
    450002, China
    Ruan Jian Xue Bao, 11 (2486-2498):
  • [40] Towards path-sensitive points-to analysis
    Gutzmann, Tobias
    Lundberg, Jonas
    Lowe, Welf
    SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2007, : 59 - 68
12345