|
|
Analýza a transformace kódů
Křoustek, Jakub ; Masařík, Karel (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce popisuje metody a postupy používané k analýze a transformaci kódů. Obsahuje základní informace o vědním oboru reverzní inženýrství a jeho užití ve výpočetní technice i mimo ni. Hlavním cílem je vytvoření prostředku ke zpětnému překladu z binární formy do jazyka symbolických instrukcí. Tato činnost je silně závislá na konkrétní instrukční sadě a musí být použita pro předem známou architekturu procesorů. Uvedený problém je řešen pomocí šablon, zásuvných modulů a modulárnosti zpětného překladače. Zmíněné vlastnosti dovolí uživatelům rozšiřovat program o nové instrukční sady. Výstupem je textová reprezentace instrukcí, funkčně ekvivalentní vstupu. Práce demonstruje nejenom běžně používané postupy dekódování, ale i nové postupy navržené autorem.
|
|
|
Transformace Windows PE do grafu toku řízení
Jirák, Ota ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Tato práce pojednává o formátu spustitelných souborů EXE. Soustředí se na části potřebné při reverzním inženýrství. Dále se zabývá jazykem symbolických instrukcí, jeho reprezentací v binárních souborech a získání textového popisu instrukcí disasemblerem. Následuje popis převodu na graf toku řízení, detekce základních struktur (větvení a cykly) vyšších programovacích jazyků.
|
|
|
Disassembler a analyzátor binárního kódu
Bayer, David ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce se zabývá problematikou zpětného překladu binárního kódu do jazyka symbolických instrukcí. Věnuje se popisu architektur ARM a AVR a průzkumu existujících řešení. Na základě získaných informací zpracovává návrh a implementaci aplikace typu disassembler. Poskytuje grafické uživatelské rozhraní usnadňující spuštění zpětného překladu a zobrazení jeho výsledku. Navržené prostředí je snadno rozšířitelné o disassemblery dalších architektur, algoritmy řízení zpětného překladu a analýzy kódu.
|
|
|
Implementace obecného zpětného assembleru
Přikryl, Zdeněk ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Tato práce popisuje proces vytváření disassembleru pro nově navrhované procesory. Kritériem při vytváření je jeho automatické vygenerování. Instrukční sada pro procesor je modelována pomocí specializovaného jazyka ISAC, který obsluhuje prostředky pro popis této instrukční sady, jako je například formát instrukce v jazyku symbolických instrukcí, binární zápis instrukce a chování instrukce. Vnitřním modelem je párový konečný automat, který formálně popíše vztah mezi textovou reprezentací instrukce a binárním kódováním instrukce. Z tohoto vnitřního modelu je generován kód překladače - disassembleru. Ten na vstupu přijímá program ve strojovém kódu a generuje ekvivalentní program v jazyce symbolických instrukcí.
|
|
|
Transformace kódů aplikovaná pro dekompilaci
Šomlo, Ivan ; Bidlo, Radek (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca popisuje proces a jednotlivé časti dekompilácie. Dekompilácia je opačný proces ku kompilácii. Jej úlohou je transformácia vstupného programu, obyčajne v strojovom kóde, do funkčne ekvivalentnej podoby vo vyššom programovacom jazyku. Práca popisuje jednotlivé fázy dekompilácie: disasembler, generátor vnútornej reprezentácie programu, analýza základných blokov, optimalizácia, analýza dátových a riadiacich tokov a generovanie výsledného kódu.
|
|
|
Nástroje pro konverzi formátů spustitelných souborů
Matula, Peter ; Husár, Adam (oponent) ; Hruška, Tomáš (vedoucí práce)
Táto práce popisuje metody a postupy používané ku konverzi formátů objektových souborů. Představuje několik obecně používaných formátů (ELF, PE, E32Image, DEX) a objektový formát projektu Lissom (LOFF). Obsahuje základní informace o knihovnách manipulujících tyto formáty a popis nové knihovny spravující E32Image. Primárním ukolem je implementace programu pro konverzi souborů mezi obecně používanými formáty a formátem LOFF. Tento problém je řešen mapováním všech kritických informací z jedné struktury formátu do druhé. Za tímto účelem bylo nutné upravit a rozšířit některé vlastnosti formátu projektu Lissom. Výsledek je program využívajicí pluginovací systém, schopný vytvářet validní a spustitelné soubory ve zmíněných formátech.
|
|
|
Disassembler mezikódu jazyka Java
Macháček, Ondřej ; Letko, Zdeněk (oponent) ; Fiedor, Jan (vedoucí práce)
Tato práce se zabývá popisem struktury mezikódu jazyka Java a disassemblováním instrukcí mezikódu jazyka Java. Součástí této práce je knihovna pro disassemblování souborů tříd jazyka Java. Knihovna umožňuje zobrazit veškeré disassemblované informace uložené v souboru tříd. Pro ukázku práce s knihovnou byla napsána i jednoduchá aplikace s grafickým uživatelským rozhraním.
|
|
|
Visual Basic disassembler
Adamica, Ján ; Náhlík, Jaroslav (oponent) ; Jošth, Radovan (vedoucí práce)
Cílem této diplomové práce je navrhnout a implementovat disassembler binárních .exe souborů programovacího jazyka Visual Basic 6. Je zde popsán formát spustitelných přenositelných souborů, popsaná funkce disassembleru, jakož i funkce Windows API volání. Visual Basic disassembler by měl uživateli poskytnout co nejvíce dostupných informací o souboru Visual Basic 6. V této práci je podrobně popsána struktura binárních souborů Visual Basic 6.
|
|
|
Převod binárního kódu x86 do vyššího programovacího jazyka
Jurík, Marián ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cílem diplomové práce je navrhnutí a implementace programu na převod binárního kódu do vyššího programovacího jazyka. Práce je zaměřena na binární soubory pro operační systém MS Windows. Je zde podrobně popsán souborový formát PE, který definuje způsob ukládání binárního kódu do souboru. Také je popsána instrukční sada IA-32, kde byl hlavně kladen důraz na způsob dekódování binárního kódu do jazyka symbolických adres. Součástí práce jsou popsány typické konstrukce používané při překladu a návrh vyššího programovacího jazyka. Návrh vychází z existujících jazyků C, C++ a jazyka symbolických adres. Předposlední kapitola pojednává o návrhu programu a samotné implementace. V závěru práce jsou zhodnoceny její výhody a nevýhody.
|
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
host ::
RSS.