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 条
  • [31] Dynamic slicing on Java']Java bytecode traces
    Wang, Tao
    Roychoudhury, Abhik
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):
  • [32] A Framework for Debugging Java']Java Programs in a Bytecode
    Soomro, Safeeullah
    Belgaum, Mohammad Riyaz
    Alansari, Zainab
    Miraz, Mahdi H.
    2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
  • [33] Java']Java bytecode verification: Algorithms and formalizations
    Leroy, X
    JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 235 - 269
  • [34] Dynamic slicing of Java']Java bytecode programs
    Szegedi, A
    Gyimóthy, T
    FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 35 - 44
  • [35] Bytecode fetch optimization for a Java']Java interpreter
    Ogata, K
    Komatsu, H
    Nakatani, T
    ACM SIGPLAN NOTICES, 2002, 37 (10) : 58 - 67
  • [36] A Dozen Instructions Make Java']Java Bytecode
    Chrzaszcz, Jacek
    Czarnik, Patryk
    Schubert, Aleksy
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (04) : 19 - 34
  • [37] Information flow analysis for Java']Java bytecode
    Genaim, S
    Spoto, F
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 346 - 362
  • [38] Experiments in Cost Analysis of Java']Java Bytecode
    Albert, E.
    Arenas, P.
    Genaim, S.
    Puebla, G.
    Zanardini, D.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (01) : 67 - 83
  • [39] An empirical study of Java']Java bytecode programs
    Collberg, Christian
    Myles, Ginger
    Stepp, Michael
    SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (06): : 581 - 641
  • [40] A programming logic for Java']Java bytecode programs
    Quigley, CL
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 41 - 54
12345