Bakalářská práce

A Framework for Abstract Interpretation in the GraalVM Native Image Java Compiler

Samuel Malec
Anotace

Statická analýza programov je kľúčovou technikou na uvažovanie o správnosti a bezpečnosti programov. Abstraktná interpretácia poskytuje dobre zavedený teoretický základ pre budovanie takýchto analýz spoľahlivým a systematickým spôsobom. Táto práca predstavuje framework pre abstraktnú interpretáciu integrovaný do prekladača GraalVM Native Image, ktorého cieľom je rozšíriť jeho možnosti statickej analýzy …více

Abstract

Static program analysis is a key technique for reasoning about the correctness and safety of programs. Abstract interpretation provides a well-established theoretical foundation for building such analyses in a sound and systematic manner. This thesis introduces a framework for abstract interpretation integrated into the GraalVM Native Image compiler, aimed at extending its static analysis capabilities …více

Klíčová slova
abstract interpretation compiler GraalVM Java Native Image Oracle points-to analysis static analysis
Zadání práce
The goal of the work is to improve the suite of tools for static analysis available within the GraalVM Native Image Java compiler framework. In particular, the focus will be on developing a framework for abstract interpretation on top of Native Image, allowing for easy development of new analyses based on abstract interpretation. The framework should provide support for developing inter-procedural analyses running top-down along the call tree. The framework should be evaluated by developing at least two simple concrete static analyses (such as interval-based abstract interpretation) and by experimenting with them on suitable benchmark programs.
Administrativní informace
Práce zkontrolována:
25. 5. 2025 14:44, prof. Ing. Tomáš Vojnar, Ph.D., učo 134390
Plný text práce
854,4 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
24. 6. 2025
Práce byla úspěšně obhájena

Vedoucí

prof. Ing. Tomáš Vojnar, Ph.D., učo 134390
KPSK FI MU

Oponent

RNDr. Petr Ročkai, Ph.D., učo 139761
KPSK FI MU

Konzultant

Ing. David Kozák
Oracle Labs a FIT VUT v Brně
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Programování a vývoj aplikací

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.