Portování nástroje Symbiotic na LLVM 3.8

Bc. Richard Trembecký

Bakalářská práce

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 on finding bugs in great software projects. The performance of Symbiotic is directly affected by the LLVM compiler performance, so upgrading to the last version is essential.

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 univerzity, ktorý slúži na odhaľovanie chýb vo veľkých softvérových projektoch. Rýchlosť Symbioticu priamo závisí od rýchlosti prekladača LLVM, preto je zapracovanie jeho najnovšej verzie dôležité.

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

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

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika