Bc. Richard Trembecký

Bakalářská práce

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 …více
Abstract:
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 …více
 

Klíčová slova

portovanie Symbiotic LLVM 3.8 Klee symbolická exekúcia
 
Jazyk práce: slovenština
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
  • Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: RNDr. Vladimír Štill

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:
Aplikovaná informatika / Aplikovaná informatika

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

Seznam prací, které mají shodná klíčová slova.
Všechny práce