Static Analysis of String Values

被引：0
|
作者：
Costantini, Giulia [1 ]
Ferrara, Pietro [2 ]
Cortesi, Agostino [1 ]
机构：
[1] Univ Ca Foscari Venice, Venice, Italy
[2] ETH, Zurich, Switzerland
来源：
FORMAL METHODS AND SOFTWARE ENGINEERING | 2011年 / 6991卷
关键词：
ABSTRACT INTERPRETATION;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we propose a unifying approach for the static analysis of string values based on abstract interpretation, and we present several abstract domains that track different types of information. In this way, the analysis can be tuned at different levels of precision and efficiency, and it can address specific properties.
引用
收藏
页码：505 / +
页数：4
相关论文
共 50 条
  • [41] Thread-Modular Static Analysis for Relaxed Memory Models
    Kusano, Markus
    Wang, Chao
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 337 - 348
  • [42] Static analysis for concurrent programs with applications to data race detection
    Kahlon V.
    Sankaranarayanan S.
    Gupta A.
    International Journal on Software Tools for Technology Transfer, 2013, 15 (4) : 321 - 336
  • [43] Building a Modular Static Analysis Framework in Scala (Tool Paper)
    Stievenart, Quentin
    Nicolay, Jens
    De Meuter, Wolfgang
    De Roover, Coen
    SCALA'16: PROCEEDINGS OF THE 2016 7TH ACM SIGPLAN SYMPOSIUM ON SCALA, 2016, : 105 - 109
  • [44] MIRCHECKER: Detecting Bugs in Rust Programs via Static Analysis
    Li, Zhuohua
    Wang, Jincheng
    Sun, Mingshen
    Lui, John C. S.
    CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2021, : 2183 - 2196
  • [45] Sound Non-statistical Clustering of Static Analysis Alarms
    Lee, Woosuk
    Lee, Wonchan
    Yi, Kwangkeun
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 299 - 314
  • [46] An algorithmic mitigation of large spurious interprocedural cycles in static analysis
    Oh, Hakjoo
    Yi, Kwangkeun
    SOFTWARE-PRACTICE & EXPERIENCE, 2010, 40 (08) : 585 - 603
  • [47] Static Bound Analysis of Dynamically Allocated Resources for C Programs
    Fan, Guangsheng
    Chen, Taoqing
    Yin, Banghu
    Chen, Liqian
    Wang, Tengbin
    Wang, Ji
    2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), 2021, : 390 - 400
  • [48] Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
    Gershuni, Elazar
    Amit, Nadav
    Gurfinkel, Arie
    Narodytska, Nina
    Navas, Jorge A.
    Rinetzky, Noam
    Ryzhyk, Leonid
    Sagiv, Mooly
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 1069 - 1084
  • [49] Static Analysis of the XEN Kernel using Frama-C
    Puccetti, Armand
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 16 (04) : 543 - 553
  • [50] Sound Non-Statistical Clustering of Static Analysis Alarms
    Lee, Woosuk
    Lee, Wonchan
    Kang, Dongok
    Heo, Kihong
    Oh, Hakjoo
    Yi, Kwangkeun
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017, 39 (04):
12345