|
| |
|
|
Analýza a převod kódů do vyššího programovacího jazyka
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í obecného zpětného překladače neboli dekompilátoru, tj. prostředku pro zpětný překlad z binární formy (případně jazyka symbolických instrukcí) do vyššího programovacího jazyka. Zmíněná činnost je silně závislá na konkrétní instrukční sadě a architektuře procesoru. Tento problém je řešen pomocí popisu sémantiky jednotlivých instrukcí jazykem navrženým pro tento účel. Výstupem je program napsaný ve vyšším programovacím jazyku, funkčně ekvivalentní vstupu. Program je tedy schopen pracovat s jakoukoliv instrukční sadou a kód v ní napsaný pak převést do zvoleného vyššího programovacího jazyku. Tento návrh je v praxi implementován jako součást projektu Lissom. Obecný dekompilátor je zcela nový pojem a pro jeho vytvoření byly autorem navrženy doposud nepublikované techniky z oblastí teorie překladačů a optimalizací.
|
|
|
Systémy kombinující automaty a gramatiky
Petřík, Patrik ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou definovány a studovány systémy kombinující gramatiky a automaty. Jsou zkoumány jejich vlastnosti s ohledem na již známé gramatické či automatové systémy a to především pro komponenty síly regulárních jazyků a komponenty síly bezkontextových jazyků. V rámci práce je vytvořen i skript simulující jeden ze studovaných systémů po praktické stránce.
|
|
|
TSQL2 interpret nad relační databází
Tomek, Jiří ; Chmelař, Petr (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá návrhem a implementací interpretu jazyka TSQL2 pro překlad do SQL. Stručně seznamuje čtenáře s pojmem temporální databáze a přestavuje jazyk TSQL2. Jsou zde také popsány existující implementace temporálních databází a je zhodnocena jejich praktická použitelnost pro správu temporálních dat. Hlavní částí práce je potom popis návrhu a implementace překladače jazyka TSQL2. Výsledkem práce je funkční interpret jazyka TSQL2 implementovaný v jazyce Java jako nadstavba nad ovladač JDBC.
|
|
|
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.
|
|
|
Optimalizace překladu agentních jazyků různé úrovně abstrakce
Kalmár, Róbert ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Cílem této práce je optimalizace překladu agentního jazyka AHLL. Jsou představeny různé používané interní formy reprezentace kódu pro překladač jako i optimalizace kódu v těchto reprezentacích. Hlavní část práce je zaměřená implementaci zvolených optimalizací a způsobu generování cílového kódu v jazyce ALLL. Dále se čtenář dozví o přínosu zvolených optimalizací taktéž o dalších možnostech při vývoji jazyka AHLL a jeho optimalizace.
|
|
|
Překladač jazyka C# do jazyka Nvidia CUDA
Zajíc, Jiří ; Kačic, Matej (oponent) ; Jurnečka, Peter (vedoucí práce)
Tato diplomová práce je zaměřena na akceleraci výpočtů na grafické kartě NVidia pomocí technologie CUDA s implementací na platformě .NET. Problém je řešen jako překladač jazyka C# do jazyka NVidia CUDA s využitím výrazových schopností jazyka C#, jenž přináší větší míru abstrakce při zachování stejné sémantiky akcí. Aplikace je implementována v jazyce C# s využitím open-source knihovny NRefactory.
|
|
|
Optimalizace v překladači C pro VLIW architektury
Baručák, Robert ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Prezentován je implementovaný algoritmus alias analýzy, který byl následně integrován s frameworkem LLVM. Diskutovány jsou vlastnosti a limity různých algoritmů. Dále jsou demonstrovány rozličné přístupy k práci s predikovanými instrukcemi a jejich integrace s LLVM. Jedním z výsledků diplomové práce je i návrh a implementace profilem řízené if-konverze.
|
|
|
Mobilní systém pro podporu cestování
Blatný, Petr ; Zelený, Jan (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato diplomová práce se zabývá popisem návrhu a implementace mobilního systému pro podporu cestování. Aplikace, pojmenovaná TravelHelper, je implementována pro platformu Android, a je tedy napsána v programovacím jazyce Java. Text proto popisuje práci s použitou platformou a její základní části. Hlavní funkcí aplikace je cestovní deník, umožňující uživateli zaznamenávat významné body cest. Aplikace umožňuje tyto cesty sdílet na sociální sítě a zálohovat do souboru. Dalšími funkcemi aplikace jsou vyhledávání míst v okolí, správa cestovních výdajů, překladač, převodník měn a seznam pro balení.
|
|
|
Překladač podmnožiny jazyka Python
Falhar, Radek ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Python je dynamicky typovaný, interpretovaný programovací jazyk. Díky dynamickému typovému systému je tedy obtížné jej zkompilovat do statického zdrojového kódu. Tedy kódu, kde je přesně dáno, jaké typy existují a jaká je jejich struktůra. Existuje několik způsobů jak tohoto dosáhnout a jedním z primárních je typová inference. Tento přístup se snaží určit struktura typů ze zdrojového kódu. V případě jazyka Python je však tento přístup obtížný, protože výsledný typový systém je velice komplexní a jazyk samotný není k typové inferenci navržen. V této práci jsem se zaměřil na identifikaci podmnožiny tohoto jazyka, aby byla možná typová inference při zachování co nejpřirozenějšího použití jazyka. Následně jsem implementoval překladač, který tuto podmnožinu přeloží do staticky typovaného jazyka, který pak lze přeložit do nativního kódu.
|
host ::
RSS.