|
|
Analýza a transformace kódů
Křoustek, Jakub ; Masařík, Karel (oponent) ; Meduna, Alexandr (vedoucí práce)
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í prostředku ke zpětnému překladu z binární formy do jazyka symbolických instrukcí. Tato činnost je silně závislá na konkrétní instrukční sadě a musí být použita pro předem známou architekturu procesorů. Uvedený problém je řešen pomocí šablon, zásuvných modulů a modulárnosti zpětného překladače. Zmíněné vlastnosti dovolí uživatelům rozšiřovat program o nové instrukční sady. Výstupem je textová reprezentace instrukcí, funkčně ekvivalentní vstupu. Práce demonstruje nejenom běžně používané postupy dekódování, ale i nové postupy navržené autorem.
|
|
|
Zpracování jazyka C v prohlížeči na bázi .NET
Kužela, Michal ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cílem této práce je umožnit programování v jazyce C uvnitř prohlížeče a to i v režimu offline. Zaměřuje se na technologie .NET a WebAssembly. Implementace proběhla ve frameworku Blazor WebAssembly. Důraz byl kladen na pokrytí rozsahu jazyka C využívaného začínajícími programátory. Vytvořený interpret poskytuje prostředí pro programování v prohlížeči, obsahuje virtuální souborový systém a možnost vložení uživatelského vstupu. Výhodou tohoto řešení je možnost práce offline, krokování kódu a možnost okamžitého vyhodnocení kódu.
|
|
|
Virtuální stroj Petriho sítí
Lapšanský, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Bakalárska práca formálne definuje pojem Objektovo orientované Petriho siete. Práca ďalej navrhuje koncept prekladača a virtuálneho stroja pre Objektovo orientované Petriho siete s využitím jazyk PNTalk. Popisuje implementáciu virtuálneho stroja a prekladača.
|
|
|
Zpracování jazyka C v prohlížeči na bázi .NET
Kužela, Michal ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cílem této práce je umožnit programování v jazyce C uvnitř prohlížeče a to i v režimu offline. Zaměřuje se na technologie .NET a WebAssembly. Implementace proběhla ve frameworku Blazor WebAssembly. Důraz byl kladen na pokrytí rozsahu jazyka C využívaného začínajícími programátory. Vytvořený interpret poskytuje prostředí pro programování v prohlížeči, obsahuje virtuální souborový systém a možnost vložení uživatelského vstupu. Výhodou tohoto řešení je možnost práce offline, krokování kódu a možnost okamžitého vyhodnocení kódu.
|
|
|
Virtuální stroj Petriho sítí
Lapšanský, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Bakalárska práca formálne definuje pojem Objektovo orientované Petriho siete. Práca ďalej navrhuje koncept prekladača a virtuálneho stroja pre Objektovo orientované Petriho siete s využitím jazyk PNTalk. Popisuje implementáciu virtuálneho stroja a prekladača.
|
|
|
Analýza a transformace kódů
Křoustek, Jakub ; Masařík, Karel (oponent) ; Meduna, Alexandr (vedoucí práce)
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í prostředku ke zpětnému překladu z binární formy do jazyka symbolických instrukcí. Tato činnost je silně závislá na konkrétní instrukční sadě a musí být použita pro předem známou architekturu procesorů. Uvedený problém je řešen pomocí šablon, zásuvných modulů a modulárnosti zpětného překladače. Zmíněné vlastnosti dovolí uživatelům rozšiřovat program o nové instrukční sady. Výstupem je textová reprezentace instrukcí, funkčně ekvivalentní vstupu. Práce demonstruje nejenom běžně používané postupy dekódování, ale i nové postupy navržené autorem.
|
host ::
RSS.