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

Keywords

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

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.