Abstract Interpretation of Java']Java Bytecode in Sturdy

被引：0
|
作者：
Marx, Stefan [1 ]
Erdweg, Sebastian [1 ]
机构：
[1] JGU Mainz, Mainz, Germany
来源：
PROCEEDINGS OF THE 26TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2024 | 2024年
基金：
欧洲研究理事会;
关键词：
abstract interpretation; static analysis; !text type='Java']Java[!/text] bytecode; control flow; data flow;
D O I：
10.1145/3678721.3686226
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We develop a framework of definitional abstract interpreters for Java bytecode in Sturdy. Specifically, we provide a generic interpreter that abstractly executes Java bytecode but resorts to configurable analysis components for abstracting values and effects. From this, we can derive a concrete reference semantics for Java bytecode and sound abstract interpreters.
引用
收藏
页码：17 / 22
页数：6
相关论文
共 50 条
  • [1] An Abstract Interpretation Approach for Enhancing the Java']Java Bytecode Verifier
    Barbuti, Roberto
    De Francesco, Nicoletta
    Tesei, Luca
    COMPUTER JOURNAL, 2010, 53 (06): : 679 - 700
  • [2] Using abstract interpretation to add type checking for interfaces in Java']Java bytecode verification
    De Francesco, Nicoletta
    Lettieri, Giuseppe
    Martini, Luca
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (22-24) : 2174 - 2201
  • [3] Java']Java bytecode verification
    Nipkow, T
    JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 233 - 233
  • [4] Java']Java bytecode optimizations
    Lambright, HD
    IEEE COMPCON 97, PROCEEDINGS, 1997, : 206 - 210
  • [5] A Java']Java Bytecode Formalisation
    Czarnik, Patryk
    Chrzaszcz, Jacek
    Schubert, Aleksy
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 135 - 154
  • [6] On object initialization in the Java']Java bytecode
    Doyon, S
    Debbabi, M
    COMPUTER COMMUNICATIONS, 2000, 23 (17) : 1594 - 1605
  • [7] Dynamic semantics of Java']Java bytecode
    Bertelsen, P
    FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
  • [8] Modeling the Java']Java Bytecode Verifier
    Reynolds, Mark C.
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (03) : 327 - 342
  • [9] Termination analysis of Java']Java Bytecode
    Albert, Elvira
    Arenas, Puri
    Codish, Michael
    Genaim, Samir
    Puebla, German
    Zanardini, Damiano
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +
  • [10] Java']Java bytecode verification: An overview
    Leroy, X
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 265 - 285
12345