Bc. Marek Chalupa
Diplomová práce
Slicing of LLVM Bitcode
Slicing of LLVM Bitcode
Anotace:
Symbiotic je open-source nástroj pro verifikaci programů, který využívá prořezávání programů ke zrychlení verifikace. Tato práce popisuje implementaci nového přořezávacího algoritmu založeného na grafech závislostí, který nahrazuje starý algoritmus, jenž používá data-flow přístup. V první části práce dáme čtenáři nahlédnout do základů teorie přořezávání programů a popíšeme prořezávací algoritmy. Poté …víceAbstract:
Symbiotic is an open-source verification tool that use program slicing to speed-up the verification. This thesis describes an implementation of a new slicer based on dependence graphs that replaces the old one which use a data-flow approach. First, we introduce the reader to the basic theory of program slicing and describe slicing algorithms, and then we describe the algorithms that are needed for …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 30. 5. 2016
Identifikátor:
https://is.muni.cz/th/vik1f/
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 6. 2016
- Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: prof. RNDr. Jiří Barnat, Ph.D.
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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Teoretická informatika