Detail práce

Strukturování kódu v zadní části zpětného překladače

Diplomová práce Student: Porwolik Tomáš Akademický rok: 2015/2016 Vedoucí: Matula Peter, Ing.
Název anglicky
Code Structuring in Decompiler Back-End
Jazyk práce
český
Abstrakt
Tato diplomová práce se zabývá nástrojem pro zpětný překlad nízkoúrovňového strojového kódu do vyšší formy reprezentace, který je vyvíjen společností AVG Technologies. Cílem této práce je navrhnout a implementovat metodu strukturování vnitřní reprezentace v zadní části zpětného překladače, která se bude snažit eliminovat skoky s využitím podmíněných příkazů a cyklů. Je navržena metoda pro strukturování, která pracuje na základě opakovaného procházení grafu toku řízení a vyhledávání předdefinovaných vzorů. Ve všech případech však není možné strukturovat kód pouze s využitím podmíněných příkazů a cyklů. V takových případech je použito strukturování pomocí příkazu goto. Vytvořené řešení je srovnáno s původním řešením ve zpětném překladači. Dle výsledků je řešení rychlejší, lépe otestované, ale ve větším množství případů generuje nevalidní kód. Z hlediska strukturování jsou výsledky rozdílné a někdy je kód strukturován lépe, avšak někdy hůře.
Klíčová slova

zpětné inženýrství, zpětný překlad, strukturování kódu, LLVM, AVG, BIR, goto

Ústav
Studijní program
Informační technologie, obor Bezpečnost informačních technologií
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
22. června 2016
Oponent
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 B.

Komise
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT), předseda
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT), člen
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT), člen
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT), člen
Vranić Valentino, doc. Ing., Ph.D. (FIIT STU), člen
Citace
PORWOLIK, Tomáš. Strukturování kódu v zadní části zpětného překladače. Brno, 2016. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2016-06-22. Vedoucí práce Matula Peter. Dostupné z: https://www.fit.vut.cz/study/thesis/18300/
BibTeX
@mastersthesis{FITMT18300,
    author = "Tom\'{a}\v{s} Porwolik",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Strukturov\'{a}n\'{i} k\'{o}du v zadn\'{i} \v{c}\'{a}sti zp\v{e}tn\'{e}ho p\v{r}eklada\v{c}e",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/18300/"
}
Nahoru