|
|
Interaktivní zpětný assembler
Mrva, Milan ; Přikryl, Zdeněk (oponent) ; Křoustek, Jakub (vedoucí práce)
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 zpětným překladem. Dále se práce zaobírá architekturou procesoru s důrazem na mikroprocesory Intel a Motorola. Jsou ukázané rozdílné formáty spustitelných souborů. Byl implementovaný generický modulovatelný zpětný assembler.V tomto textu je představená jak jeho struktura, tak zásuvné moduly, které prezentují tři různé techniky disassemblovaní. Jeden z modulů používa vícevláknový parser, který je vlastním návrhem autora. Tyto přístupy jsou v závěru porovnané a je nastíněn další vývoj.
|
|
|
Aplikace pro odhalování plagiátů u rozsáhlých projektů
Kačic, Matej ; Přikryl, Zdeněk (oponent) ; Lukáš, Roman (vedoucí práce)
Cieľom práce je vytvoriť aplikáciu, ktorá rozpozná plagiáty v programovom kóde v projektoch bez kostry. Zaoberá sa konštrukciami v jazyku C a C++ a ich následným použitím pri detekcii plagiátov. Projekty prejdú fázami preprocesora, lexikálnej analýzy a tvorby porovnávacej štruktúry. Následne sa porovnávajú štatistickým testom a "Body" testom založeným na Najdlhšej spoločnej podpostupnosti.
|
|
| |
|
|
Překladač pro víceprocesorové systémy
Barteček, Jakub ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato bakalářská práce se zabývá podporou paralelního vykonávání programů na platformě EdkDSP. Nejdůležitější části práce tvoří analýza cílové platformy a návrh překladače. Návrh je zaměřen na překlad OpenMP pragmat do vícevláknového kódu a transformování specifických typů cyklů. Překladač byl implementován pomocí frameworku ROSE compiler a následně otestován.
|
|
|
Vytvoření modelu procesoru M68000
Adamec, Ondřej ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu procesoru Motorola 68000 za použití jazyka pro popis architektur CodAL a integrovaného vývojového prostředí Codasip Studio. V práci jsou použité nástroje představeny. Procesor M68000 se řadí mezi architektury s komplexní instrukční sadou. Architektura procesoru je detailně popsána. Zaměřuji se zejména na programátorský model, formát instrukcí a popis instrukční sady. Struktura vytvořeného modelu je do detailu popsána. Důležitou součástí této práce je také testování výsledného modelu. Je nutné se ujistit, že model je plně funkční a zcela odpovídá reálnému procesoru. K tomu byla použita sada testovacích programů. Pro účely testování byla zprovozněna sada nástrojů pro překlad zdrojových textů z jazyka C do jazyka symbolických adres. Výsledkem je funkční model, který byl otestován aby byla zaručena jehosprávnost.
|
|
|
Dynamická rekonfigurace hardwarových akcelerátorů
Brabec, Lukáš ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Práce se věnuje využití dynamické rekonfigurace FPGA v oblasti aplikačně specifických procesorů, a to zejména vzhledem k rychlosti jejich vývoje, možnostem akcelerace výpočtů a univerzality. Dále je navrženo rozšíření aplikačně specifického procesoru Codix o rekonfigurovatelnou jednotku a popsána její implementace. V závěru jsou shrnuty získané poznatky a nastíněny možnosti dalšího vývoje.
|
|
|
Ladicí nástroj generických simulátorů mikroprocesorů
Wilczák, Milan ; Husár, Adam (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Procesory s aplikačně specifickou instrukční sadou se stávají součástí každodenního života, přestože obvykle nejsou na první pohled vidět. Při jejich vývoji je potřeba nějak popsat jejich architekturu, instrukční sadu a chování. Aby jejich vývoj měl smysl, musí být možné pro tyto procesory vytvářet aplikace a při vytváření aplikací se dělají chyby. K jejich objevování slouží debuggery. Tato práce shrnuje některé základní informace pro vytváření debuggerů a popisuje implementaci debuggeru pro procesory vytvářené pomocí projektu Lissom.
|
|
|
Implementace obecného VLIW procesoru v FPGA
Kuběna, Petr ; Přikryl, Zdeněk (oponent) ; Husár, Adam (vedoucí práce)
VLIW procesory jsou paralelní výpočetní zařízení používaná v oblastech od vestavěných systémů po servery. Práce obsahuje popis jejich architektury. Hlavním zaměřením je návrh a následně tvorba vlastního obecného VLIW procesoru s rozsáhlými možnostmi konfigurace. Nedílnou součástí je funkční implementace takového procesoru v jazyce VHDL, kterou je možné vyzkoušet na platformě FITkit.
|
|
|
Implementace obecného zpětného assembleru
Přikryl, Zdeněk ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Tato práce popisuje proces vytváření disassembleru pro nově navrhované procesory. Kritériem při vytváření je jeho automatické vygenerování. Instrukční sada pro procesor je modelována pomocí specializovaného jazyka ISAC, který obsluhuje prostředky pro popis této instrukční sady, jako je například formát instrukce v jazyku symbolických instrukcí, binární zápis instrukce a chování instrukce. Vnitřním modelem je párový konečný automat, který formálně popíše vztah mezi textovou reprezentací instrukce a binárním kódováním instrukce. Z tohoto vnitřního modelu je generován kód překladače - disassembleru. Ten na vstupu přijímá program ve strojovém kódu a generuje ekvivalentní program v jazyce symbolických instrukcí.
|
|
| |
host ::
RSS.