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 条
  • [21] Static Analysis of Memory Models for SMT Encodings
    Haas, Thomas
    Maseli, Rene
    Meyer, Roland
    De Leon, Hernan Ponce
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA): : 1618 - 1647
  • [22] Static Analysis of Data Transformations in Jupyter Notebooks
    Negrini, Luca
    Shabadi, Guruprerana
    Urban, Caterina
    PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON THE STATE OF THE ART IN PROGRAM ANALYSIS, SOAP 2023, 2023, : 8 - 13
  • [23] Theories, Solvers and Static Analysis by Abstract Interpretation
    Cousot, Patrick
    Cousot, Radhia
    Mauborgne, Laurent
    JOURNAL OF THE ACM, 2012, 59 (06)
  • [24] Inference of access policies through static analysis
    Zanatta, Giacomo
    Caiazza, Gianluca
    Ferrara, Pietro
    Negrini, Luca
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (06) : 797 - 821
  • [25] An Approach to Behavioral Subtyping Based on Static Analysis
    Logozzo, Francesco
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 157 - 170
  • [26] Static Analysis of Endian Portability by Abstract Interpretation
    Delmas, David
    Ouadjaout, Abdelraouf
    Mine, Antoine
    STATIC ANALYSIS, SAS 2021, 2021, 12913 : 102 - 123
  • [27] Stratified Static Analysis Based on Variable Dependencies
    Monniaux, David
    Le Guen, Julien
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 288 : 61 - 74
  • [28] Counters in Kappa: Semantics, Simulation, and Static Analysis
    Boutillier, Pierre
    Cristescu, Ioana
    Feret, Jerome
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019: 28TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2019, 11423 : 176 - 204
  • [29] TARSIS: An effective automata-based abstract domain for string analysis
    Negrini, Luca
    Arceri, Vincenzo
    Cortesi, Agostino
    Ferrara, Pietro
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2024, 36 (08)
  • [30] A Dual Number Abstraction for Static Analysis of Clarke Jacobians
    Laurel, Jacob
    Yang, Rem
    Singh, Gagandeep
    Misailovic, Sasa
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
12345