Bc. Miroslav Patlevič

Bakalářská práce

Preklad Java programov do LLVM pre analyzátor programov Symbiotic

Translation of Java programs to LLVM for Symbiotic program analyzer
Abstract:
The goal of this thesis is to investigate the options for translating programs written in Java 8 and higher into LLVM / C, to create a working prototype of a Java program translator, and to test it on the Java benchmarks of the SV-COMP competition.
Abstract:
Cieľom tejto práce je preskúmať možnosti prekladu programov v Jave 8 a vyššej do LLVM / C, vytvoriť funkčný prototyp prekladača Java prog- ramov a otestovať ho na Java benchmarkoch súťaže SV-COMP.
 

Klíčová slova

Java 8 Python C LLVM SV-COMP prekladač interná reprezentácia Symbiotic prototyp JBMC
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 19. 12. 2024
Identifikátor: https://is.muni.cz/th/slhti/

Obhajoba závěrečné práce

  • Obhajoba proběhla 6. 2. 2025
  • Vedoucí: Mgr. Marek Trtík, Ph.D.
  • Oponent: prof. Ing. Tomáš Vojnar, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Programování a vývoj aplikací / Programování a vývoj aplikací

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

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.