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 条
  • [31] Quantitative Program Sketching using Lifted Static Analysis
    Dimovski, Aleksandar S.
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 102 - 122
  • [32] Static Type Analysis of Pattern Matching by Abstract Interpretation
    Ferrara, Pietro
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 186 - 200
  • [33] Static Analysis with Demand-Driven Value Refinement
    Stein, Benno
    Nielsen, Benjamin Barslev
    Chang, Bor-Yuh Evan
    Moller, Anders
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [34] Static analysis of lists by combining shape and numerical abstractions
    Chen, Liqian
    Li, Renjian
    Wu, Xueguang
    Wang, Ji
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 320 - 342
  • [35] JS']JSAI: A Static Analysis Platform for Java']JavaScript
    Kashyap, Vineeth
    Dewey, Kyle
    Kuefner, Ethan A.
    Wagner, John
    Gibbons, Kevin
    Sarracino, John
    Wiedermann, Ben
    Hardekopf, Ben
    22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, : 121 - 132
  • [36] Hypercollecting Semantics and Its Application to Static Analysis of Information Flow
    Assaf, Mounir
    Naumann, David A.
    Signoles, Julien
    Totel, Eric
    Tronel, Frederic
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 874 - 887
  • [37] Access-based abstract memory localization in static analysis
    Oh, Hakjoo
    Yi, Kwangkeun
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (09) : 1701 - 1727
  • [38] Hypercollecting semantics and its application to static analysis of information flow
    Assaf M.
    Naumann D.A.
    Signoles J.
    Totel E.
    Tronel F.
    1600, Association for Computing Machinery (52): : 874 - 887
  • [39] Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation
    de Michiel, Marianne
    Bonenfant, Armelle
    Casse, Hugues
    Sainrat, Pascal
    RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS, 2008, : 161 - +
  • [40] Abstract domain adequacyWeakening completeness towards static analysis precision
    Isabella Mastroeni
    International Journal on Software Tools for Technology Transfer, 2024, 26 (6) : 747 - 765
12345