|
|
Interaktivní disassembler pro procesory architektury Intel 64
Faltín, Tomáš ; Yaghob, Jakub (vedoucí práce) ; Kofroň, Jan (oponent)
Práce se zabývá implementací disassembleru-debuggeru pro procesory architektury Intel64. Disassembler si instrukce i jejich formát načítá z předpřipravených XML souborů, čímž je zajištěna rozšiřitelnost i pro budoucí instrukce a architektury. Disassembler dokáže po vložení libovolného programu v jednom z podporovaných formátů převést vykonávané instrukce vloženého programu do jazyka symbolických adres. Pomocí debuggeru je následně možné tento program spustit a kontrolovat tok vykonávaných instrukcí. Instrukce je možné procházet v pořadí, jakém jsou právě vykonávány anebo umístit na určitou instrukci programu breakpoint, na kterém se vykonávání program zastaví. Debugger je schopný zobrazit jednotlivá vlákna běžícího programu a také najít a rozpoznat základní vyšší programové struktury jako jsou podmíněný příkaz a cyklus. Powered by TCPDF (www.tcpdf.org)
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
Interaktivní disassembler pro procesory architektury Intel 64
Faltín, Tomáš ; Yaghob, Jakub (vedoucí práce) ; Kofroň, Jan (oponent)
Práce se zabývá implementací disassembleru-debuggeru pro procesory architektury Intel64. Disassembler si instrukce i jejich formát načítá z předpřipravených XML souborů, čímž je zajištěna rozšiřitelnost i pro budoucí instrukce a architektury. Disassembler dokáže po vložení libovolného programu v jednom z podporovaných formátů převést vykonávané instrukce vloženého programu do jazyka symbolických adres. Pomocí debuggeru je následně možné tento program spustit a kontrolovat tok vykonávaných instrukcí. Instrukce je možné procházet v pořadí, jakém jsou právě vykonávány anebo umístit na určitou instrukci programu breakpoint, na kterém se vykonávání program zastaví. Debugger je schopný zobrazit jednotlivá vlákna běžícího programu a také najít a rozpoznat základní vyšší programové struktury jako jsou podmíněný příkaz a cyklus. Powered by TCPDF (www.tcpdf.org)
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
Ochrana softwaru pro Windows proti zpětnému inženýrství
Korvas, Pavol ; Ďurfina, Lukáš (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zabývá seznámením se se zpětným inženýrstvím, způsoby jeho použití a zneužití v praxi a seznámením se s existujícími nástroji na ochranu softwaru a s nástroji projektu Lissom. Zaměřuje se také na analýzu existujících způsobů narušení ochrany a návrh ochrany pro aplikace projektu Lissom ve spolupráci s licenčním serverem pro operační systém Windows.
|
host ::
RSS.