|
|
Zpětný překlad aplikací pro architekturu x86-64 v nástroji RetDec
Kubov, Peter ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cieľom práce je implementovať podporu spätného prekladu binárnych súborov architektúry x64 pre spätný prekladač RetDec. Práca skúma prístupy reverzného inžinierstva, najmä z pohľadu informačných technológií. Zaoberá sa všobecným princípom spätných prekladačov a konkrétne prekladačom RetDec od spoločnosti Avast. Popisuje architektúru x86 a z nej odvovodenú architektúru x86-64. Výstupom práce je implementácia nových a rozšírenie existujúcich tried v jazyku C++, ktoré plnia chýbajúcu činnosť.
|
|
|
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.
|
|
|
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.
|
|
|
Zpětný překlad aplikací pro architekturu AArch64 v nástroji RetDec
Kašťák, Matej ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cieľom tejto práce je navrhnúť a implementovať spätný prekladač pre architektúru AArch64. Práca najprv uvedie koncept reverzného inžinierstva, následne všeobecne analyzuje platformu procesorov ARM a architektúru spätného prekladača RetDec od firmy Avast. V~ďalších kapitolách je popísaný návrh a implementácia modulu pre RetDec. Výstupom modulu je preklad strojového kódu do LLVM inštrukcií, ktoré sú následné spracované priechodmi LLVM. Toto vedie k výslednému prekladu do vyššieho jazyka.
|
|
|
Zpětný překlad aplikací pro architekturu x86-64 v nástroji RetDec
Kubov, Peter ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cieľom práce je implementovať podporu spätného prekladu binárnych súborov architektúry x64 pre spätný prekladač RetDec. Práca skúma prístupy reverzného inžinierstva, najmä z pohľadu informačných technológií. Zaoberá sa všobecným princípom spätných prekladačov a konkrétne prekladačom RetDec od spoločnosti Avast. Popisuje architektúru x86 a z nej odvovodenú architektúru x86-64. Výstupom práce je implementácia nových a rozšírenie existujúcich tried v jazyku C++, ktoré plnia chýbajúcu činnosť.
|
|
|
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.
|
|
|
Autorskoprávní ochrana počítačových programů
Kozelka, Ondřej ; Holcová, Irena (vedoucí práce) ; Křesťanová, Veronika (oponent)
Autorskoprávní ochrana počítačových programů Tato diplomová práce se zabývá autorskoprávní ochranou specifických autorských děl - počítačových programů. Práce se zabývá autorským dílem a podmínkami, kdy je jím počítačový program, alespoň jako dílo fiktivní. U pojmu počítačového programu se snaží nalézt vhodnou definici, která je dostatečně obecná, ale současně přesně vystihuje tento pojem. Jsou popsány jednotlivé známé formy vyjádření počítačového programu (zdrojový kód, strojový kód, ale i kód mezijazyku) a je vysvětleno, proč je vhodné chránit počítačový program v jakékoliv formě. Je vysvětleno, že pojem " software" a pojem " počítačový program" nejsou totožné a jejich zaměňování může způsobovat problémy. Dále se práce zabývá autorem počítačového programu a spoluautorským dílem. V další části se práce zabývá právy autora díla. Je pojednáno o výlučných osobnostních i majetkových právech. Popsány jsou způsoby užití počítačového programu se zaměřením na jejich odlišnosti od ostatních autorských děl. Právem autora je také možnost poskytnout oprávnění k výkonu práva dílo užít třetí osobě - licenci. Hlavní částí je pojednání o zákonných licencích a jiných omezeních nositelů autorských práv. Tato úprava je totiž pro počítačové programy značně odlišná. Vedle běžného užití počítačového programu, možnosti pořizovat...
|
|
|
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.
|
|
|
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.
|
host ::
RSS.