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 …moreAbstract:
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 …more
Language used: Slovak
Date on which the thesis was submitted / produced: 24. 5. 2016
Identifier:
https://is.muni.cz/th/td2oc/
Thesis defence
- Date of defence: 24. 6. 2016
- Supervisor: doc. RNDr. Jan Strejček, Ph.D.
- Reader: RNDr. Vladimír Štill
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Improvements of Memory Management in KLEE
Jakub Novák -
Hudba v obrazech Paula Klee
Kristina Hrabcová -
Klee-Based Error Witness Checker
Paulína Ayaziová -
Paul Klee a jeho výtvarný jazyk
Simona Kodytková -
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ÁŘ