Static analysis of C programs via region-based memory model

被引：0
|
作者：
Dong, Yu-Kun [1 ,2 ]
Jin, Da-Hai [1 ]
Gong, Yun-Zhan [1 ]
Xing, Ying [1 ]
机构：
[1] State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China
[2] College of Computer and Communication Engineering, China University of Petroleum, Qingdao 266580, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2014年 / 25卷 / 02期
关键词：
Static analysis;
D O I：
10.13328/j.cnki.jos.004532
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：357 / 372
相关论文
共 50 条
  • [1] A Memory Model for Static Analysis of C Programs
    Xu, Zhongxing
    Kremenek, Ted
    Zhang, Jian
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 535 - +
  • [2] Region-based memory management for Mercury programs
    Phan, Quan
    Janssens, Gerda
    Somogyi, Zoltan
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2013, 13 : 959 - 1024
  • [3] Region-Based May-Happen-in-Parallel Analysis for C Programs
    Di, Peng
    Sui, Yulei
    Ye, Ding
    Xue, Jingling
    2015 44TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING (ICPP), 2015, : 889 - 898
  • [4] A sound abstract memory model for static analysis of C programs
    Dong, Yukun
    INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2018, 16 (03) : 255 - 264
  • [5] BETTER STATIC MEMORY MANAGEMENT - IMPROVING REGION-BASED ANALYSIS OF HIGHER-ORDER LANGUAGES
    AIKEN, A
    FAHNDRICH, M
    LEVIEN, R
    SIGPLAN NOTICES, 1995, 30 (06): : 174 - 185
  • [6] Towards region-based memory management for mercury programs (Extended abstract)
    Phan, Quan
    Janssens, Gerda
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 433 - 435
  • [7] Abstract Interpretation of LLVM with a Region-Based Memory Model
    Gurfinkel, Arie
    Navas, Jorge A.
    SOFTWARE VERIFICATION, 2022, 13124 : 122 - 144
  • [8] Region-based memory management
    Tofte, M
    Talpin, JP
    INFORMATION AND COMPUTATION, 1997, 132 (02) : 109 - 176
  • [9] Fast Escape Analysis for Region-based Memory Management
    Salagnac, G.
    Yovine, S.
    Garbervetsky, D.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 99 - 110
  • [10] A region-based memory manager for Prolog
    Makholm, H
    ACM SIGPLAN NOTICES, 2001, 36 (01) : 25 - 34
12345