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 条
  • [1] Fast and precise points-to analysis
    Lundberg, Jonas
    Gutzmann, Tobias
    Edvinsson, Marcus
    Lowe, Welf
    INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (10) : 1428 - 1439
  • [2] Fast and Precise Points-to Analysis
    Lundberg, Jonas
    Gutzmann, Tobias
    Lowe, Welf
    EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2008, : 133 - 142
  • [3] Probabilistic points-to analysis
    Hwang, YS
    Chen, PS
    Lee, JK
    Ju, RDC
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2003, 2624 : 290 - 305
  • [4] Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis
    Gharat, Pritam M.
    Khedker, Uday P.
    Mycroft, Alan
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2020, 42 (02):
  • [5] Searching,for points-to analysis
    Bruns, G
    Chandra, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (10) : 883 - 897
  • [6] The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
    Halalingaiah, Shashin
    Sundaresan, Vijay
    Maier, Daryl
    Nandivada, V. Krishna
    Proceedings of the ACM on Programming Languages, 2024, 8 (OOPSLA2)
  • [7] An efficient inclusion-based points-to analysis for strictly-typed languages
    Whaley, J
    Lam, MS
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 180 - 195
  • [8] Heterogeneous fixed points with application to points-to analysis
    Kanade, A
    Khedker, U
    Sanyal, A
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 298 - 314
  • [9] An Effective Approach of Points-To Analysis
    Zhang Yuping
    Deng Zhaori
    Zhang Xiaoning
    Ma Yan
    PROCEEDINGS OF THE 2015 INTERNATIONAL SYMPOSIUM ON COMPUTERS & INFORMATICS, 2015, 13 : 2038 - 2045
  • [10] Fast and Precise Points-to Analysis with Incremental CFL-Reachability Summarisation
    Shang, Lei
    Lu, Yi
    Xue, Jingling
    2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2012, : 270 - 273
12345