Zpět na vyhledávání

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 …viac
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 …viac
 

Kľúčové slová

portovanie Symbiotic LLVM 3.8 Klee symbolická exekúcia
 
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

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

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics

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

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