Portování nástroje Symbiotic na LLVM 3.8 – Bc. Richard Trembecký
Bc. Richard Trembecký
Bachelor's thesis
Portování nástroje Symbiotic na LLVM 3.8
Port of the Symbiotic tool to LLVM 3.8
Abstract:
The goal of this thesis is to port the tool named Symbiotic and all its parts to LLVM 3.8 and to compare results before (LLVM 3.4) and after porting on benchmarks of SV-COMP 2016 competition. LLVM provides a highly optimized compiler infrastructure for any language and implements a compiler for C and C++ languages. Symbiotic is a tool developed at Faculty of Informatics, Masaryk University. It focuses …viacAbstract:
Cieľom tejto práce bolo portovanie nástroja Symbiotic a všetkých jeho častí na verziu LLVM 3.8 a porovnanie výsledkov pred portovaním (verzia LLVM 3.4) a po portovaní na benchmarkoch súťaže SV-COMP 2016. LLVM poskytuje infraštruktúru pre vysoko optimalizovaný prekladač v ľubovoľnom jazyku a priamo implementuje prekladač pre jazyky C a C++. Symbiotic je nástroj vyvíjaný na Fakulte informatiky Masarykovej …viac
Jazyk práce: Slovak
Datum vytvoření / odevzdání či podání práce: 24. 5. 2016
Identifikátor:
https://is.muni.cz/th/td2oc/
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 6. 2016
- Vedúci: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: RNDr. Vladimír Štill
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
-
Improvements of Memory Management in KLEE
Jakub Novák -
Paul Klee a jeho výtvarný jazyk
Simona Kodytková -
Hudba v obrazech Paula Klee
Kristina Hrabcová -
Klee-Based Error Witness Checker
Paulína Ayaziová -
Symbolic-size Memory Allocation Support for Klee
Michael Šimáček -
Rozšíření nástroje pro symbolickou exekuci KLEE
Peter Hruška -
Program for evaluation of oxygen probe data
Kevin Klee -
Labyrint\nl Autorský projekt inspirovaný myšlenkami a dílem Paula Klee.
Richard TRUHLÁŘ