|
|
Zpětný překlad z vybraných formátů spustitelných souborů
Bandzi, Michal ; Láznička, Stanislav (oponent) ; Matula, Peter (vedoucí práce)
Objektové súbory obsahujú strojový kód, ktorý môže byť vykonaný procesorom. Každý objektový súbor má formát, ktorý popisuje jeho štruktúru. Pre vykonanie spätného prekladu je nutné súbor spracovať a previesť dáta do vnútornej reprezentácie spätného prekladača. Táto práca pojednáva o návrhu a implementácii nových modulov pre podporu spracovania formátov, ktoré budú súčasťou Rekonfigurovateľného spätného prekladača. Cieľom práce je pridanie podpory pre formáty Intel HEX a Mach-O a nová implementácia už podporovaného formátu Portable Executable. Implementácia modulov pre Intel HEX a Mach-O bola úspešná a je možné použiť ich pre spätný preklad. Spracovanie formátu PE nedosahuje dostatočnej kvality kvôli chybám knižnice LLVM, na ktorej je implementácia založená.
|
|
|
Dekódování binárního kódu do vyšší formy reprezentace
Macko, Lukáš ; Soukup, Ondřej (oponent) ; Matula, Peter (vedoucí práce)
Diplomová práce se zabývá zpětným inženýrstvím v oblasti software. Představuje jeho uplatnění, používané nástroje a postupy. Podrobněji se věnuje problematice dekódování instrukcí. Uvádí dva základní postupy-lineární dekódování a rekurzivní sestup. Poukazuje na jejich silné stránky a nedostatky. Následně představuje zpětný překladač vyvíjenýspolečností AVG Technologies. Tento překladač je rekonfigurovatelný, což umožňuje zpětný překlad z různých architektur do více cílových jazyků. Cílem práce bylo navrhnout a implementovat algoritmus pro dekódování binárních souborů do vyšší reprezentace. Navržený algoritmus vychází z algoritmu rekurzivního sestupu. Využívá informace o toku řízení programu. Pro zpřesnění výsledku dekódování jsou navíc použity záznamy z tabulky symbolů a další informace. Navržený algoritmus byl implementován pro rekonfigurovatelný zpětný překladač společnosti AVG Technologies. Testy implementovaného algoritmu ukázaly zlepšení detekce funkcí v dekódovaných programech. Implementované řešení navíc umožňuje dekódovat i soubory, jejichž analýza s aktuálním řešením nebyla možná.
|
|
|
Grafické uživatelské rozhraní rekonfigurovatelného zpětného překladače
Jánský, Jiří ; Zemek, Petr (oponent) ; Matula, Peter (vedoucí práce)
P { margin-bottom: 0.21cm; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }P.western { font-family: "Times New Roman",serif; font-size: 11pt; }P.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }P.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } Práce se zabývá vytvářením grafického rozhraní pro zpětný překladač projektu Lissom, jenž je řízen z příkazové řádky. Jeho ovládáním překladač produkuje přeložený kód a grafu volání funkcí a kontroly toku. Zmíněné výstupy překladače zobrazuje, funkčně spojuje a jednotlivým reprezentacím výstupu přidává užitečné funkce.
|
|
|
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.
|
|
|
Analýza kódu v jazyce C pro účely testování zpětného překladu
Dítě, Viktor ; Kolář, Dušan (oponent) ; Matula, Peter (vedoucí práce)
Cílem této práce je rozšíření aplikačního rámce pro tvorbu regresních testů o novou funkcionalitu pro analýzu kódu v jazyce C . Tento aplikační rámec je vytvořen v jazyce Python a pro analýzu zdrojového kódu využívá překladač clang . Práce obsahuje popis oboru zpětného inženýrství a zpětného překladače společnosti AVG . Dále je stručně představena oblast testování software a jazyk C . Následuje popis navržených a implementovaných rozšíření. Tato rozšíření jsou předvedena na ukázkových testech. V závěru nalezneme shrnutí výsledků práce.
|
|
|
Systém pro detekci vzorů v binárních souborech
Milkovič, Marek ; Kolář, Dušan (oponent) ; Matula, Peter (vedoucí práce)
Škodlivý software sa v dobe internetu šíri veľmi rýchlo a poškodzuje užívateľov a ich dáta. Je preto nutné vylepšovať metódy akými pristupujeme k jeho analýze, aby bolo možné chrániť potenciálne obete. Táto práca sa zaoberá návrhom a implementáciou systému na tvorbu detekčných vzorov zo spustiteľných súborov v spolupráci so spoločnosťou AVG Technologies. Cieľom tejto práce je zostrojiť nástroj na generovanie detekčného vzoru z množiny binárnych súborov. V rámci práce sú tiež navrhnuté nové druhy analýz na extrakciu informácií zo spustiteľných súborov. Navrhnutý a implementovaný systém sa používa v praxi pri analýze nového škodlivého kódu a je integrovaný do systému na zhlukovú analýzu.
|
|
|
Univerzální nástroj pro dekompresi spustitelných souborů
Milkovič, Marek ; Hynek, Jiří (oponent) ; Matula, Peter (vedoucí práce)
Komprese spustitelných souborů je proces komprese dat a kódu za účelem zmenšení velikosti nebo ochrany těchto souborů. Chování komprimovaného spustitelného souboru je těžké analyzovat, proto musí být takovýto soubor nejprve dekomprimován. Tato práce pojednává o návrhu a implementaci univerzálního nástroje pro dekompresi spustitelných souborů, neboli generického unpackeru, který je součást dekompilačního procesu v rekonfigurovatelném zpětném překladači společnosti AVG. Cílem této práce je vytvořit generický unpacker, který by byl jednoduše rozšířitelný, platformě a architekturálně nezávislý a jeho výstup by byl dekompilovatelný. V rámci práce jsou navrhnuté a implementované heuristické analýzy pro dosažení dekompilovatelnosti výstupů. Výsledky jsou porovnatelné s unpackery používanými v praxi.
|
|
|
Dekódování binárního kódu do vyšší formy reprezentace
Macko, Lukáš ; Soukup, Ondřej (oponent) ; Matula, Peter (vedoucí práce)
Diplomová práce se zabývá zpětným inženýrstvím v oblasti software. Představuje jeho uplatnění, používané nástroje a postupy. Podrobněji se věnuje problematice dekódování instrukcí. Uvádí dva základní postupy-lineární dekódování a rekurzivní sestup. Poukazuje na jejich silné stránky a nedostatky. Následně představuje zpětný překladač vyvíjenýspolečností AVG Technologies. Tento překladač je rekonfigurovatelný, což umožňuje zpětný překlad z různých architektur do více cílových jazyků. Cílem práce bylo navrhnout a implementovat algoritmus pro dekódování binárních souborů do vyšší reprezentace. Navržený algoritmus vychází z algoritmu rekurzivního sestupu. Využívá informace o toku řízení programu. Pro zpřesnění výsledku dekódování jsou navíc použity záznamy z tabulky symbolů a další informace. Navržený algoritmus byl implementován pro rekonfigurovatelný zpětný překladač společnosti AVG Technologies. Testy implementovaného algoritmu ukázaly zlepšení detekce funkcí v dekódovaných programech. Implementované řešení navíc umožňuje dekódovat i soubory, jejichž analýza s aktuálním řešením nebyla možná.
|
|
|
Optimalizace LLVM IR pro účely zpětného překladu
Kollár, Jaroslav ; Chaloupka, Jan (oponent) ; Matula, Peter (vedoucí práce)
Tato práce se zabývá návrhem a implementací optimalizací ve střední části zpětného překladače vyvíjeného firmou AVG Technologies. Úlohou těchto optimalizací je zlepšit čitelnost produkovaného zdrojového kódu a současně vylepšit některé navržené optimalizace v zadní části zpětného překladače. V úvodu jsou poskytnuty základní informace o reverzním inženýrství a zpětných překladačích, které slouží pro účel uvedení do dané problematiky. Poté se nachází popis stavu zpětného překladače před zahájením této diplomové práce. Dále následuje hlavní část práce, která se věnuje popisu návrhu a implementace jednotlivých navržených optimalizací. Poté následuje popis testování optimalizací a shrnutí dosažených výsledků. V závěru práce je diskutován budoucí možný vývoj.
|
|
|
Zpětný překlad vysokoúrovňových konstrukcí jazyka C++
Jakub, Dušan ; Křivka, Zbyněk (oponent) ; Matula, Peter (vedoucí práce)
Práce se zabývá dekompilací konstrukcí vysokoúrovňového objektového jazyka C++ ze strojového kódu. Je definován pojem zpětného překladu a popsány existující zpětné překladače s~důrazem na dekompilaci C++. Dále je představen dekompilátor AVG, v jehož rámci tato práce vznikla. Je analyzován jazyk C++, a to jak na úrovni konstrukcí jazyka, tak na úrovni strojového kódu, a jsou představeny existující metody jeho dekompilace. Na jejich základě je navržen postup dekompilace tříd, jejich hierarchie, konstruktorů, destruktorů a virtuálních metod. Je detekováno i volání virtuálních metod. Navržený postup je implementován, podroben experimentům a zhodnocen. V závěru je nastíněno několik návrhů na další vývoj.
|
host ::
RSS.