Rekonstrukce datových typů při zpětném překladu kódu
| but.committee | doc. RNDr. Pavel Smrž, Ph.D. (předseda) prof. Ing. Miroslav Švéda, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Mgr. Lukáš Holík, Ph.D. (člen) Prof. RNDr. Milan Mišovič, CSc. (člen) doc. Ing. Ondřej Ryšavý, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázku 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 A. Otázky u obhajoby: Za akých predpokladov bude možné rozlíšiť datový typ union? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Křoustek, Jakub | cs |
| dc.contributor.author | Matula, Peter | cs |
| dc.contributor.referee | Ďurfina, Lukáš | cs |
| dc.date.accessioned | 2023-07-17T08:06:44Z | |
| dc.date.available | 2023-06-20 | cs |
| dc.date.available | 2023-07-17T08:06:44Z | |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Práce se zabývá popisem metod rekonstrukce datových typů při zpětném překladu. Je definován pojem zpětného inženýrství a představen zpětný překladač vyvíjen v rámci projektu Lissom, pro potřeby kterého tato práce vznikla. Jsou představeny stávající metody rekonstrukce jednoduchých i složených datových typů a podrobně vysvětleny přístupy založené na analýze toku dat a analýze ofsetů paměťových operací. Jádrem práce je návrh nové techniky rekonstrukce jednoduchých a složených datových typů, vhodné pro nasazení v prostředí rekonfigurovatelného zpětného překladače projektu Lissom. Jsou vysvětleny základní principy nového návrhu, jeho implementace a souvisejících změn ve vyvíjeném zpětném překladači a jeho medzikódě. Výsledné řešení je podrobeno řadě testů. V závěru jsou diskutovány dosažené výsledky, nedostatky a směr další práce. | cs |
| dc.description.abstract | This document describes methods for a reconstruction of data types in the decompilation problem. It defines the concept of reverse engineering and introduces decompiler developed by the Lissom project. It presents existing methods of reconstruction of the simple and complex data types, and explains in detail approaches based on data-flow analysis and analysis of the memory operation offsets. The core of this thesis is the design of a new technique of reconstructing simple and complex data types, suitable for deployment in a retargetable decompiler environment of the Lissom project. Basic principles of the new technique, its implementation and related changes in decompiler and intermediate language are described. The solution is tested and the conclusion discusses the achievements, shortcomings and direction of the further work. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | MATULA, P. Rekonstrukce datových typů při zpětném překladu kódu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79326 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53434 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Přístup k plnému textu prostřednictvím internetu byl licenční smlouvou omezen na dobu 10 roku/let | cs |
| dc.subject | Zpětné inženýrství | cs |
| dc.subject | zpětný prěkladač | cs |
| dc.subject | Lissom | cs |
| dc.subject | LLVM IR | cs |
| dc.subject | analýza datových typů | cs |
| dc.subject | Reverse engeneering | en |
| dc.subject | decompiler | en |
| dc.subject | Lissom | en |
| dc.subject | LLVM IR | en |
| dc.subject | data type analysis | en |
| dc.title | Rekonstrukce datových typů při zpětném překladu kódu | cs |
| dc.title.alternative | Reconstruction of Data Types for Decompilation | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2013-06-20 | cs |
| dcterms.modified | 2020-05-10-16:11:11 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79326 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2023.07.17 10:06:44 | en |
| sync.item.modts | 2023.07.17 09:39:30 | en |
| thesis.discipline | Bezpečnost informačních technologií | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- review_79326.html
- Size:
- 1.46 KB
- Format:
- Hypertext Markup Language
- Description:
- review_79326.html