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 条
  • [1] A suite of abstract domains for static analysis of string values
    Costantini, Giulia
    Ferrara, Pietro
    Cortesi, Agostino
    SOFTWARE-PRACTICE & EXPERIENCE, 2015, 45 (02) : 245 - 287
  • [2] Static Analysis for ECMAScript String Manipulation Programs
    Arceri, Vincenzo
    Mastroeni, Isabella
    Xu, Sunyi
    APPLIED SCIENCES-BASEL, 2020, 10 (10):
  • [3] Twinning Automata and Regular Expressions for String Static Analysis
    Negrini, Luca
    Arceri, Vincenzo
    Ferrara, Pietro
    Cortesi, Agostino
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 267 - 290
  • [4] Completeness of string analysis for dynamic languages
    Arceri, Vincenzo
    Olliaro, Martina
    Cortesi, Agostino
    Mastroeni, Isabella
    INFORMATION AND COMPUTATION, 2021, 281
  • [5] M-String Segmentation: a Refined Abstract Domain for String Analysis in C Programs
    Cortesi, Agostino
    Olliaro, Martina
    PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), 2018, : 1 - 8
  • [6] STATIC ANALYSIS OF POSTSCRIPT CODE
    HORSPOOL, RN
    VITEK, J
    COMPUTER LANGUAGES, 1993, 19 (02): : 65 - 78
  • [7] Static analysis of Android programs
    Payet, Etienne
    Spoto, Fausto
    INFORMATION AND SOFTWARE TECHNOLOGY, 2012, 54 (11) : 1192 - 1201
  • [8] Static analysis of Linear Logic programming
    Jean -Marc Andreoli
    Remo Pareschi
    Tiziana Castagnetti
    New Generation Computing, 1997, 15 : 449 - 481
  • [9] Static analysis of Linear Logic programming
    Andreoli, JM
    Pareschi, R
    Castagnetti, T
    NEW GENERATION COMPUTING, 1997, 15 (04) : 449 - 481
  • [10] Static Timing Analysis - What is Special?
    Reineke, Jan
    Wilhelm, Reinhard
    SEMANTICS, LOGICS, AND CALCULI: ESSAYS DEDICATED TO HANNE RIIS NIELSON AND FLEMMING NIELSON ON THE OCCASION OF THEIR 60TH BIRTHDAYS, 2016, 9560 : 74 - 87
12345