|
|
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.
|
|
|
Interaktivní zpětný assembler
Mrva, Milan ; Přikryl, Zdeněk (oponent) ; Křoustek, Jakub (vedoucí práce)
V práci jsou popsané postupy a nástroje zpětného inženýrství v rámci softwaru. Uvedené jsou techniky ochrany před rozkladem či zkoumáním obsahu spustitelného souboru. Představené jsou příklady programů zabývajících se zpětným překladem. Dále se práce zaobírá architekturou procesoru s důrazem na mikroprocesory Intel a Motorola. Jsou ukázané rozdílné formáty spustitelných souborů. Byl implementovaný generický modulovatelný zpětný assembler.V tomto textu je představená jak jeho struktura, tak zásuvné moduly, které prezentují tři různé techniky disassemblovaní. Jeden z modulů používa vícevláknový parser, který je vlastním návrhem autora. Tyto přístupy jsou v závěru porovnané a je nastíněn další vývoj.
|
|
|
Zpětný překladač bajtkódu jazyka Java
Hřibal, Jaromír ; Kučera, Jiří (oponent) ; Křivka, Zbyněk (vedoucí práce)
První část této bakalářské práce se zabývá základními principy virtuálního stroje jazyka Java a detailněji se věnuje jeho instrukční sadě a formátu . class souborů, dohromady známých jako bajtkód . Následující část prezentuje rešerši existujících nástrojů pro manipulaci s bajtkódem . Poslední část popisuje vytvoření pluginu do vývojového prostředí Eclipse , který realizuje uživatelsky přívětivé zobrazení zadaného bajtkódu spolu s původním zdrojovým kódem, ze kterého byl bajtkód generován. Nástroj předpokládá dostupnost těchto zdrojových kódů, takže neplní roli dekompilátoru.
|
|
|
Anotující disassembler pro AMD64
Láska, Ladislav ; Mareš, Martin (vedoucí práce) ; Děcký, Martin (oponent)
Cílem práce je vytvořit disassembler pro architekturu AMD64, který bude sloužit pro zjednodušení analýzy programů na úrovni strojového kódu. Práce popisuje formát instrukcí, binárních souborů a systémové konvence, které jsou následně využity ve vypracovaném disassembleru. Ten umí například analyzovat a vizualizovat skoky, pracovat s výchozím obsahem paměti, interpretovat volací konvence ABI, přejmenovávat a zjednodušovat výrazy, u kterých známe hodnoty a další. Nedílnou součástí je také skriptovací API pro Python, které umožňuje psát rozšiřující pluginy a přidávat funkce za hranice toho, na co myslel autor.
|
host ::
RSS.