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 条
  • [21] Region-Based Static Video Stitching for Reduction of Parallax Distortion
    Park, Keon-woo
    Shim, Yoo-Jeong
    Lee, Myeong-jin
    SENSORS, 2021, 21 (12)
  • [22] RSVM: a Region-based Software Virtual Memory for GPU
    Ji, Feng
    Lin, Heshan
    Ma, Xiaosong
    2013 22ND INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT), 2013, : 269 - 278
  • [23] Garbage collection safety for region-based memory management
    Elsman, M
    ACM SIGPLAN NOTICES, 2003, 38 (03) : 123 - 134
  • [24] LLVM based approach to static analysis of C programs in SAPFOR
    Kataev, Nikita
    2018 IVANNIKOV MEMORIAL WORKSHOP (IVMEM 2018), 2018, : 19 - 23
  • [25] Awareness-based model for region-based cosegmentation
    Yang, Bai
    Yu, Huimin
    Zheng, Weiwei
    Huang, Wei
    ELECTRONICS LETTERS, 2016, 52 (19) : 1603 - 1605
  • [26] REGION-BASED IMAGE SEGMENTATION VIA GRAPH CUTS
    Cigla, Cevahir
    Alatan, A. Aydin
    2008 15TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-5, 2008, : 2272 - 2275
  • [27] Region-Based Image Segmentation via Graph Cuts
    Cigla, Cevahir
    Alatan, A. Aydin
    2008 IEEE 16TH SIGNAL PROCESSING, COMMUNICATION AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2008, : 22 - 25
  • [28] 3D OBJECT TRACKING VIA BOUNDARY CONSTRAINED REGION-BASED MODEL
    Zhao, Song
    Wang, Lingfeng
    Sui, Wei
    Wu, Huai-Yu
    Pan, Chunhong
    2014 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2014, : 486 - 490
  • [29] Securing GPU via Region-based Bounds Checking
    Lee, Jaewon
    Kim, Yonghae
    Cao, Jiashen
    Kim, Euna
    Lee, Jaekyu
    Kim, Hyesoon
    PROCEEDINGS OF THE 2022 THE 49TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA '22), 2022, : 27 - 41
  • [30] CELL SEGMENTATION VIA REGION-BASED ELLIPSE FITTING
    Panagiotakis, Costas
    Argyros, Antonis A.
    2018 25TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2018, : 2426 - 2430
12345