|
|
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.
|
|
|
Použití OpenCl v AVG na platformě Windows
Bajcar, Martin ; Křoustek, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zabývá praktickým využitím technologie OpenCL ve společnosti AVG. AVG vidí OpenCL jako jednu z možností, jak ulehčit zátěž procesoru a případně urychlit výpočet některých algoritmů. Velká část práce se zabývá optimalizacemi pro grafické karty AMD a NVIDIA, jakožto současné nejrozšířenější karty. Praktická část popisuje paralelizaci dvou algoritmů dodaných AVG, jejich analýzu z pohledu OpenCL a implementaci. Následně jsou popsány a odůvodněny dosažené výsledky a jsou popsány podmínky, pro které má smysl testované paralelní algoritmy použít v reálném produktu. Jako součást implementace je vytvořena knihovna, která usnadňuje práci při vývoji aplikací pracující s OpenCL.
|
|
|
Generická detekce bootkitů
Gach, Tomáš ; Křoustek, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zabývá problematikou generické detekce bootkitů. Bootkity jsou relativně novým typem škodlivého softwaru spadajícího do kategorie rootkitů. Definice škodlivého softwaru je uvedena společně s několika příklady. Pozornost je pak věnována problematice rootkitů v souvislosti s operačními systémy Microsoft Windows. V této části je uvedeno několik technik používaných rootkity. Jsou také zmíněný metody prevence a detekce rootkitů. Pro bootkity je charakteristická infekce hlavního spouštěcího záznamu (MBR) pevného disku. Struktura MBR je popsána společně s příkladovým rozdělením pevného disku. Následně jsou nastíněny vlastnosti instrukční sady procesoru a pro ilustraci je disassemblován MBR operačního systému Windows 7. Zbylá část práce je věnována popisu průběhu infekce operačního systému bootkitem, prevenci bootkitů, analýze infikovaných vzorků MBR a zejména návrhu, implementaci a testování generického detektoru infekce MBR.
|
|
|
Detection of API and ABI Compatibility in Java
Rohovský, Tomáš ; Křoustek, Jakub (oponent) ; Kolář, Dušan (vedoucí práce)
This master's thesis deals with API and ABI compatibility of Java libraries. Types of compatibility are described. API changes causing source and binary incompatibility are analyzed. Furthermore, an analysis of existing tools that detect incompatibility was created. The suitable tool has been chosen from the previously analyzed tools and extended. The extended tool is the base of the server application, which provides information about compatibility of tracked libraries.
|
|
|
Rekonfigurovatelný ladicí nástroj na úrovni zdrojového kódu
Korvas, Pavol ; Dolíhal, Luděk (oponent) ; Křoustek, Jakub (vedoucí práce)
Tato diplomová práce se zabývá seznámením se s problematikou ladění a principu ladicích nástrojů. Dále práce podrobně zkoumá formát ladicích informací a popisuje návrh ladicího nástroje vytvořeného pro potřeby projektu Lissom. Práce taktéž obsahuje popis implementace jednotlivých navržených částí ladicího nástroje. V závěru práce se nachází testování implementovaného řešení na dvou typech architektur a taktéž shrnutí výsledků této práce.
|
|
|
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.
|
|
| |
|
|
Simulace architektury mikroprocesoru 8051
Šimon, Petr ; Křoustek, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
V dnešní době je více jak 90% procesorů používáno ve vestavěných systémech. Návrh procesorů pro vestavěná zařízení se stává čím dál složitější, a proto je nutné tuto práci co nejvíce automatizovat. Tato bakalářská práce se věnuje návrhu mikrokontroléru 8051. Návrh je proveden podle dostupné dokumentace a k popisu procesoru je použit jazyk ISAC. Výsledný model je ověřen řadou simulací, které jsou na konci práce analyzovány.
|
|
| |
|
|
Nástroj pro grafické prototypování systémů na čipu
Netočný, Ondřej ; Křoustek, Jakub (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce se věnuje návrhu a implementaci nástroje pro vývoj víceprocesorových systémů na čipu, seznámí čtenáře s touto problematikou a představí možnosti, jak lze problém řešit ve vývojovém prostředí Codasip Studio. Práce představuje jak samotný nástroj, kterým je grafický editor víceprocesorových systémů na čipu, tak sadu podpůrných prostředků pro rychlý a efektivní vývoj. Jedná se zejména o sadu interaktivních průvodců, kteří usnadní start nových projektů. Ke zvládnutí této problematiky je nutné porozumět jazyku pro popis architektury CodAL, vývojovému prostředí Eclipse a nástrojům GMF (Graphical Modeling Framework) a EMF (Eclipse Modeling Framework), s jejichž pomocí je grafický editor implementován.
|
host ::
RSS.