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 条
  • [41] An environment for evolutionary prototyping Java']Java programs based on abstract interpretation
    Ozaki, H
    Ban, SG
    Gondow, K
    Katayama, T
    ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 362 - 370
  • [42] A Java']Java Bytecode Metamodel for Composable Program Analyses
    Yildiz, Bugra M.
    Bockisch, Christoph
    Rensink, Arend
    Aksit, Mehmet
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017, 2018, 10748 : 30 - 40
  • [43] Altering Java']Java semantics via bytecode manipulation
    Tanter, E
    Ségura-Devillechaise, M
    Noyé, J
    Piquer, J
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2002, PROCEEDINGS, 2002, 2487 : 283 - 298
  • [44] Symbolic backward simulation of Java']Java bytecode program
    Inafune, Tetsuya
    Miura, Shinichi
    Taketa, Toshihiro
    Hiranaka, Yukio
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION (ICCMS 2018), 2017, : 140 - 145
  • [45] Compiling lazy functional programs to Java']Java bytecode
    Meehan, G
    Joy, M
    SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07): : 617 - 645
  • [46] Efficient inference of static types for Java']Java bytecode
    Gagnon, EM
    Hendren, LJ
    Marceau, G
    STATIC ANALYSIS, 2000, 1824 : 199 - 219
  • [47] Compiling multithreaded Java']Java bytecode for distributed execution
    Antoniu, G
    Bougé, L
    Hatcher, P
    MacBeth, M
    McGuigan, K
    Namyst, R
    EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 1039 - 1052
  • [48] Kava - A reflective Java']Java based on bytecode rewriting
    Welch, I
    Stroud, RJ
    REFLECTION AND SOFTWARE ENGINEERING, 2000, 1826 : 155 - 167
  • [49] Decompiling Boolean Expressions from Java']Java™ Bytecode
    Nanda, Mangala Gowri
    Arun-Kumar, S.
    PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 59 - 69
  • [50] A formal framework for the Java']Java bytecode language and verifier
    Freund, SN
    Mitchell, JC
    ACM SIGPLAN NOTICES, 1999, 34 (10) : 147 - 166
12345