|
|
Pokročilá analýza toku řízení v malware
Porwolik, Tomáš ; Matula, Peter (oponent) ; Ďurfina, Lukáš (vedoucí práce)
Tato bakalářská práce se zabývá nástrojem pro zpětný překlad strojového kódu na vyšší programovací jazyk. Tento nástroj je vyvíjen v rámci projektu Lissom. Cílem práce je zavedení pokročilé analýzy toku řízení. Zaměřuje se především na zpětnou rekonstrukci příkazu switch a volání funkce přes ukazatel. Dané problémy jsou v práci vyřešeny zavedením nových metod analýzy toku řízení. Jsou zde podrobně rozebrány a je navrženo řešení, které je implementováno a otestováno. Vytvořené řešení umožňuje úspěšně zpětně rekonstruovat příkaz switch ve většině případů výskytů, a také volání funkce přes ukazatel v jednodušších případech výskytů. Přínosem této práce je vylepšení nástroje pro zpětný překlad, kdy jsou zpětně překládány programy, které zmíněné pokročilé konstrukce využívají.
|
|
|
Zpětný překlad vybraných konstrukcí jazyka C++
Mihulka, Tomáš ; Zemek, Petr (oponent) ; Matula, Peter (vedoucí práce)
Tato práce se zabývá rekonstrukcí hierarchie tříd a jejich virtuálních metod z programů vytvořených jazykem C++. Cílem práce je rozšířit zpětný překladač, který je vyvíjen v rámci projektu Lissom o analýzu těchto konstrukcí pro různé překladače. Rekonstrukce jsou realizovány detekcí Run- Time Type Information (zkratka RTTI ) a virtuálních tabulek. V úvodní části práce je popsán vědní obor reverzní inženýrství a projekt Lissom s jeho zpětným překladačem. Poté následuje popis jazyka C++, jeho struktur s možnostmi jejich dekompilace. Dále následuje část věnující se návrhu, implementaci a testování rozpoznání RTTI a virtuálních tabulek.
|
|
|
Ochrana softwaru pro Linux proti zpětnému inženýrství
Korec, Tomáš ; Zemek, Petr (oponent) ; Hruška, Tomáš (vedoucí práce)
Táto práce se zabývá implementací ochrany softwaru před reverzním inženýrstvím pro Linux v rámci projektu Lissom. Ochrana se skládá ze tří úrovní. První úroveň tvoří metody detekující nástroje, které umožňují aplikaci metod reverzního inženýrství. Ochrana založená na hashování funkcí reprezentuje druhou úroveň, která chrání aplikaci proti změnám. Třetí úroveň ochrany představuje šifrování částí binárního souboru. Ochrany dopĺňují existující licenční server projektu Lissom. V závěru práce jsou diskutována možná budoucí rozšíření.
|
|
|
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.
|
|
|
Metody detekce funkcí při zpětném překladu kódu
Kábele, Břetislav ; Ďurfina, Lukáš (oponent) ; Křoustek, Jakub (vedoucí práce)
Práce popisuje metody detekce funkcí při zpětném překladu programů. 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. Představen je zpětný překladač, vyvinutý výzkumnou skupinou Lissom na FIT VUT v Brně. Hlavním cílem je objasnění několika metod detekce funkcí, diskutování jejich výhod a nevýhod a zjištění problémů detekce funkcí. Po detekování začátku, konce a těla funkce je potřebné nalézt parametry a návratové hodnoty. Jsou představeny některé algoritmy z této oblasti. Výstupem jsou navržená a implementovaná řešení detekce funkcí a parametrů nezávislá na architektuře.
|
|
|
Rekonstrukce datových typů při zpětném překladu kódu
Matula, Peter ; Ďurfina, Lukáš (oponent) ; Křoustek, Jakub (vedoucí práce)
Práce se zabývá popisem metod rekonstrukce datových typů při zpětném překladu. Je definován pojem zpětného inženýrství a představen zpětný překladač vyvíjen v rámci projektu Lissom, pro potřeby kterého tato práce vznikla. Jsou představeny stávající metody rekonstrukce jednoduchých i složených datových typů a podrobně vysvětleny přístupy založené na analýze toku dat a analýze ofsetů paměťových operací. Jádrem práce je návrh nové techniky rekonstrukce jednoduchých a složených datových typů, vhodné pro nasazení v prostředí rekonfigurovatelného zpětného překladače projektu Lissom. Jsou vysvětleny základní principy nového návrhu, jeho implementace a souvisejících změn ve vyvíjeném zpětném překladači a jeho medzikódě. Výsledné řešení je podrobeno řadě testů. V závěru jsou diskutovány dosažené výsledky, nedostatky a směr další práce.
|
|
| |
|
|
Analýza služeb informačního portálu
Burian, Petr ; Šedivá, Zuzana (vedoucí práce) ; Skalka, Jaroslav (oponent)
Rychlý vývoj služeb v oblasti internetových technologií si žádá nepřetržitý rozvoj a modernizaci softwarových produktů včetně informačních portálů. Absence dokumentace často komplikuje další rozvoj produktu a zvyšuje náklady na jeho údržbu. Pro řízený rozvoj portálu je kvalitní dokumentace nezbytná a při její absenci je nutné provést obnovu. Předmětem práce je analýza služeb internetového informačního portálu, zaměřeného na cestovní ruch v oblasti kempování. Tato práce si klade za cíl podrobně rozebrat všechny nabízené služby portálu a následně zhodnotit jejich přínos pro uživatele portálu. V úvodu práce přiblížím základní pojmy týkající se provozování internetových portálů. Přiblížím pravidla použitelnosti a přístupnosti internetových stránek a jejich aplikaci na služby portálu. V práci popíšu metodu zpětného inženýrství, kterou použiji k obnově návrhu a dokumentace služeb. Vlastní analýza je následně rozdělena do dvou kroků. V prvním kroku je každá služba podrobně popsána a pomocí metody zpětného inženýrství vytvořena její reprezentace na vyšší úrovni abstrakce. V druhém kroku je provedeno a vyhodnoceno dotazníkové šetření zkoumající míru využití jednotlivých služeb skupinou potenciálních odběratelů. Z výsledků dotazníkového šetření jsou odvozena doporučení a změny týkající se dalšího provozu služby.
|
host ::
RSS.