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

共 10 条

[1]

Brandl Katharina, 2023, LIPIcs, V263

[2] Abstracting definitional interpreters (Functional pearl) [J].

Darais D. ;

Labich N. ;

Nguyn P.C. ;

Van Horn D. .

1600, Association for Computing Machinery (01)

[3] Optimization of object-oriented programs using static class hierarchy analysis [J].

Dean, J ;

Grove, D ;

Chambers, C .

ECOOP '95 - OBJECT-ORIENTED PROGRAMMING, 1995, 952 :77-101

[4]

github, WALA-T. J. Watson Libraries for Analysis

[5] Modular Collaborative Program Analysis in OPAL [J].

Helm, Dominik ;

Kuebler, Florian ;

Reif, Michael ;

Eichberg, Michael ;

Mezini, Mira .

PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, :184-196

[6] Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters [J].

Keidel, Sven ;

Erdweg, Sebastian ;

Hombuecher, Tobias .

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (ICFP)

[7] Compositional Soundness Proofs of Abstract Interpreters [J].

Keidel, Sven ;

Poulsen, Casper Bach ;

Erdweg, Sebastian .

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,

[8] Sound and Reusable Components for Abstract Interpretation [J].

Keidel, Sven ;

Erdweg, Sebastian .

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA)

[9]

Lam Patrick, 2011, CETUS USERS COMPILER

[10]

Vallee-Rai R., 1999, P 1999 C CTR ADV STU, P13

← 1 →