Bakalářská práce

Portování nástroje Symbiotic na LLVM 3.8

Port of the Symbiotic tool to LLVM 3.8

Richard Trembecký
Anotace

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

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

Klíčová slova
portovanie Symbiotic LLVM 3.8 Klee symbolická exekúcia
Zadání práce
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.
Administrativní informace
Práce zkontrolována:
25. 5. 2016 09:29, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Plný text práce
498,9 KB / soubor PDF
Přílohy (2)
Jazyk práce
slovenština slovenština
Termín obhajoby
24. 6. 2016
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Strejček, Ph.D., učo 3366
ITI FI MU

Oponent

RNDr. Vladimír Štill, Ph.D., učo 373979
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

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

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • 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.