Now showing items 1-20 of 23

  • Analýza a převod kódů do vyššího programovacího jazyka 

    Křoustek, Jakub
    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í obecného ...
  • Automatické vyhledávání instrukčních rozšíření aplikačních procesorů 

    Češka, Martin
    Tato práce se zabývá procesem automatického vyhledávání instrukčních rozšíření u aplikačně-specifických procesorů. K tomuto procesu je použito mírně upraveného algoritmu ISEGEN. Nejdříve jsou popsány veškeré důležité pojmy ...
  • Detection of API and ABI Compatibility in Java 

    Rohovský, Tomáš
    Tato diplomová práce se zabývá API a ABI kompatibilitou Java knihoven. Jsou popsány typy kompatibility a analyzovány změny API, které vedou k zdrojové či binárni nekompatibilitě. Dále je provedena analýza existujících ...
  • Detekce použitého překladače 

    Kostka, Michal
    Cílem této práce je vytvoření detektoru překladače. Tento program umí rozpoznat překladač nebo modifikátor použitý k vytvoření aplikace. Podporovány jsou formáty spustitelných souborů PE a ELF. Úkol je řešen hledáním ...
  • Emulátor jednoduchého procesoru 

    Kuzník, Petr
    Emulátor bude navržen jako obecný, schopný emulovat různorodé architektury. Jednotlivé architektury budou v samostatných modulech implementovaných jako dynamicky linkované dll knihovny. Hlavním cílem je dosáhnout právě ...
  • Generická detekce bootkitů 

    Gach, Tomáš
    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. ...
  • Generická obfuskace na úrovni bajtkódu 

    Kollát, Samuel
    V této práci je popsána definice obfuskace a metody její realizace. Následuje popis projektu LLVM a možnosti jeho využití při vytváření obfuskace na úrovni bajtkódu se zaměřením na generickost vzhledem k cílové architektuře. ...
  • Generický zpětný překlad programů v bajtkódu do vyšší formy reprezentace 

    Mrázek, Petr
    Práce popisuje postupy a principy zpětného překladu. Uvádí základní informace o zpětném inženýrství a jeho užití v oboru softwarového inženýrství i inženýrství obecně. Dále představuje zpětný překladač vyvíjený v rámci ...
  • Interaktivní zpětný assembler 

    Mrva, Milan
    V práci jsou popsané postupy a nástroje zpětného inženýrství v rámci softwaru. Uvedené jsou techniky ochrany před rozkladem či zkoumáním obsahu spustitelného souboru. Představené jsou příklady programů zabývajících se ...
  • Licenční server 

    Frühbauer, Jan
    Cílem bakalářské práce bylo vytvořit licenční ochranu produktů projektu Lissom. Teoretická část je určena pro seznámení uživatele s problematikou licencování a ochrany softwaru. Jsou zde popsány právní ochrany vztahující ...
  • Metody detekce funkcí při zpětném překladu kódu 

    Kábele, Břetislav
    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ý ...
  • Nástroj pro grafické prototypování systémů na čipu 

    Netočný, Ondřej
    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 ...
  • Optimalizace heuristické analýzy spustitelných souborů 

    Wiglasz, Michal
    Tato bakalářská práce byla vypracována v průběhu studijního pobytu na Universita della Svizzera italiana ve Švýcarsku. Tato práce popisuje implementaci klasifikačního nástroje pro detekci neznámého škodlivého softwaru, ...
  • Optimalizace přední části zpětného překladače 

    Odaloš, Matej
    Zpětný překladač je nástroj reverzního inženýrství umožňující rekonstrukci strojového kódu na některý z vyšších programovacích jazyků. Tato práce se zaobírá popisem tohoto nástroje, přičemž se soustředí hlavně na zpětný ...
  • Optimalizace výsledků zpětného překladu pomocí dodatečných informací 

    Končický, Jaromír
    V rámci projektu Lissom je vyvíjen rekonfigurovatelný zpětný překladač, jehož cílem je umožnit zpětný překlad programů, určených pro libovolnou platformu, do libovolného vyššího programovacího jazyka. V době počátku řešení ...
  • Peephole optimalizátor pro konfigurovatelné architektury procesorů 

    Ministr, Martin
    Tato bakalářská práce se zabývá vytvořením peephole optimalizátoru pro překladač programovacího jazyka C. Práce se skládá ze studie optimalizační techniky zvané peephole optimalizace. Hlavní částí práce je návrh procesu ...
  • Použití OpenCl v AVG na platformě Windows 

    Bajcar, Martin
    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á ...
  • Rekonfigurovatelná analýza strojového kódu 

    Křoustek, Jakub
    Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se ...
  • Rekonfigurovatelný ladicí nástroj na úrovni zdrojového kódu 

    Korvas, Pavol
    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 ...
  • Rekonstrukce datových typů při zpětném překladu kódu 

    Matula, Peter
    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. ...