Detail práce

Extrakce grafu toku řízení z formátu LLVM IR

Bakalářská práce Student: Kondula Václav Akademický rok: 2016/2017 Vedoucí: Smrčka Aleš, Ing., Ph.D.
Název anglicky
Extraction of Control Flow Graph from LLVM IR Format
Jazyk práce
český
Abstrakt

Tato bakalářská práce se zabývá návrhem a implementací extrakce grafů toku řízení ze zdrojových souborů jazyků C a C++ ve formátu LLVM IR. K tomu účelu bylo použito rozhraní LibTooling překladače Clang, pomocí něhož byl tento extraktor implementován jako samostatný nástroj. Výstup programu odpovídá požadavkům platformy Testos, jemuž poskytuje data pro automatické generování testovacích požadavků na základě specifického pokrytí.

Klíčová slova

cfg, graf toku řízení, llvm, clang, mezikód, testování, libtooling, jazyk c, jazyk c++, jednotkové testování

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
12. června 2017
Oponent
Šoková Veronika, Ing.
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm "C".

Otázky u obhajoby
  1. Zvažovali ste napojenie sa na LLVM IR až v 2. fázy prekladu t.j. pracovať s výstupom Clangu? Viedlo by to na nezávislosť od Clang front-endu a možnú podporu iných jazykov než len tých z rodiny C.
  2. Z akého dôvodu nerieši parameter -femit-all-decls problém popísaný v sekcii 4.4?
Komise
Zendulka Jaroslav, doc. Ing., CSc. (UIFS FIT VUT), předseda
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT), člen
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Citace
KONDULA, Václav. Extrakce grafu toku řízení z formátu LLVM IR. Brno, 2017. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-12. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/19239/
BibTeX 
@bachelorsthesis{FITBT19239,
    author = "V\'{a}clav Kondula",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Extrakce grafu toku \v{r}\'{i}zen\'{i} z form\'{a}tu LLVM IR",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19239/"
}

Závěrečné práce

Nahoru