Bachelor's thesis

Port of the Symbiotic tool to LLVM 3.8

Portování nástroje Symbiotic na LLVM 3.8

Richard Trembecký
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

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

Keywords
portovanie Symbiotic LLVM 3.8 Klee symbolická exekúcia
Thesis description
Symbiotic je volně dostupný nástroj pro verifikaci programů v C vyvíjený na Fakultě informatiky MU. Symbiotic se skládá z nástroje na instrumentaci, sliceru a několika skriptů, a dále využívá infrastruktury LLVM a volně dostupný symbolický exekutor Klee. Momentálně všechny součásti Symbioticu i Klee běží na LLVM 3.4. Cílem práce je portovat Symbiotic i Klee na aktuální verzi LLVM, tedy LLVM 3.8. Veškeré změny by měly být zaslány zpět do upstreamu Symbioticu i Klee. Součástí práce bude srovnání výsledků Symbioticu před a po portování na benchmarcích z relevantních kategorií soutěže SV-COMP 2016.
Administrative information
The thesis has been checked:
25/5/2016 09:29, prof. RNDr. Jan Strejček, Ph.D., UČO 3366
Full text of thesis
498,9 KB / file PDF
Attachments (2)
Language used
Slovak Slovak
Defence date
24/6/2016
The thesis was defended successfully

Supervisor

prof. RNDr. Jan Strejček, Ph.D., UČO 3366
ITI FI MU

Reader

RNDr. Vladimír Štill, Ph.D., UČO 373979
KTP FI MU
Cite this text
Masaryk University Faculty of Informatics
Programme
Applied Informatics
Field of Study

Theses on a related topic

List of theses with an identical keyword.

Similar documents

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.