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

Simple item page
but.committeedoc. Ing. František Zbořil, Ph.D. (předseda) prof. Ing. Martin Drahanský, Ph.D. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Ing. Vladimír Drábek, CSc. (člen) Ing. Zbyněk Křivka, Ph.D. (člen) Doc. Ing. Valentino Vranić, Ph.D. (člen)cs
but.defenceStudent 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.cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorMatula, Petercs
dc.contributor.authorPorwolik, Tomášcs
dc.contributor.refereeKučera, Jiřícs
dc.date.accessioned2020-06-23T09:10:52Z
dc.date.available2019-06-22cs
dc.date.created2016cs
dc.description.abstractTato 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.cs
dc.description.abstractThis thesis deals with a decompilation tool which converts low-level binary code to a high-level representation. This tool is being developed by AVG Technologies. The aim of this work is to design and implement a method for code structuring in the decompiler back-end. The designed method works by traversing the control-flow graph with matching of predefined patterns. It is not always possible to structure code using conditional statements and loops. Sometimes also goto statements must be used. The implemented solution is compared with the original solution in the decompiler. According to the results the new solution is faster, better tested, but in greater number of test cases generates invalid code. From the viewpoint of structuring the results are different and sometimes the code is structured better, but sometimes worse.en
dc.description.markBcs
dc.identifier.citationPORWOLIK, T. Strukturování kódu v zadní části zpětného překladače [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2016.cs
dc.identifier.other96360cs
dc.identifier.urihttp://hdl.handle.net/11012/61956
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsPřístup k plnému textu prostřednictvím internetu byl licenční smlouvou omezen na dobu 3 roku/letcs
dc.subjectzpětné inženýrstvícs
dc.subjectzpětný překladcs
dc.subjectstrukturování kóducs
dc.subjectLLVMcs
dc.subjectAVGcs
dc.subjectBIRcs
dc.subjectgotocs
dc.subjectreverse engineeringen
dc.subjectdecompilationen
dc.subjectcode structuringen
dc.subjectLLVMen
dc.subjectAVGen
dc.subjectBIRen
dc.subjectgotoen
dc.titleStrukturování kódu v zadní části zpětného překladačecs
dc.title.alternativeCode Structuring in Decompiler Back-Enden
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2016-06-22cs
dcterms.modified2020-05-10-16:12:27cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid96360en
sync.item.dbtypeZPen
sync.item.insts2021.11.22 23:09:30en
sync.item.modts2021.11.22 22:47:23en
thesis.disciplineBezpečnost informačních technologiícs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
Posudek-Vedouci prace-18300_v.pdf
Size:
85.67 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-18300_v.pdf
Download
Thumbnail Image
Name:
Posudek-Oponent prace-18300_o.pdf
Size:
125.98 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-18300_o.pdf
Download
Thumbnail Image
Name:
review_96360.html
Size:
1.46 KB
Format:
Hypertext Markup Language
Description:
review_96360.html
Download
Collections
2016