|
|
Systémy syntaxí řízených překladačů a jejich využití
Svoboda, Sebastián ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje nový, syntakticky i sémanticky jedinečný imperativní programovací jazyk Flowlang a jeho překladač. Jedinečná je sada operátorů, které pomáhají řešit specifickou sadu problémů, kde je potřeba transformovat a filtrovat data v pevné sekvenci kroků. Jazyk se překládá do WebAssembly. Také k němu byl vytvořen interpret a sada pomocných nástrojů.
|
|
|
High-Level Programming Language Transpilers
Mokriš, Andrej ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
A rapid development of programming languages has caused practical problems, such as not granting backward compatibility. Transpilers offer a potential solution to some of these problems. This thesis presents concepts of formal languages, compilers, and more detailed description of parsing methods. The goal of this thesis is to design and implement a transpiler that converts a subset of PHP to JavaScript.
|
|
|
Gramatické systémy a jejich aplikace
Kříčka, Dalibor ; Klembara, Radovan (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je zavést nový typ kooperačně distribuovaného (CD) gramatického systému na základě typů již existujících, následně konkrétní gramatický systém tohoto typu definovat a aplikovat ho v rámci syntaktického analyzátoru. Nově zavedený typ kombinuje vlastnosti hybridních CD gramatických systémů a CD gramatických systémů s vnitřním řízením a klade důraz na determinismus komunikačního protokolu. Konkrétně definovaný gramatický systém aplikuje tři metody syntaktické analýzy (prediktivní LL, precedenční a SLR) a přijímá podmnožinu jazyka C++. Praktický aspekt práce demonstruje aplikovatelnost zmíněného gramatického systému formou konzolové aplikace implementující přední část překladače, do které je gramatický systém zakomponován.
|
|
|
Rozšiřování jazyka YARA
Kender, Tomáš ; Zobal, Lukáš (oponent) ; Regéciová, Dominika (vedoucí práce)
Táto práca sa zaoberá problematikou vylepšení nástroja YARA slúžiaceho na definovanie vzorového chovania malvéru a následné vyhľadávanie na základe definovaných vlastností v súboroch za účelom detekcie malvéru v prehľadávaných súboroch. Zavádza nové syntaktické konštrukty jazyka na zápis vlastností, načrtáva nový spôsob vyhľadávania reťazca v behaviorálnych informáciach generovaných Cuckoo Sandboxom a vyhodnocuje dopady zmien. Pri riešení budeme pracovať so zápisom lexikálnych a syntaktických pravidiel jazyka, pridáme do YARY nový dátový typ pre dynamické pole, ale budeme sa venovať aj optimalizácii výkonu bajtkódu či implementácii nového bajtkódového príkazu. Výstupom práce je produkt, ktorý umožní malvérovým analytikom písať kratšie a ľahšie čitateľné pravidlá pre detekciu malvérov a skrátiť dobu skenovania behaviorálnych informácií.
|
|
|
Decompilation of Specialized and Advanced Instruction Sets
Holub, Juraj ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Nowadays, the process of analyzing malicious software is an important part of information technologies. One of the crucial techniques is decompilation of malicious binary programs. The decompilation is a complex process, and there are multiple projects with such a goal. The project RetDec aims to develop retargetable and flexible decompiler. The goal of this research is to improve the decompilation of advanced instruction sets for architecture x86. The new optimization for FPU register stack manipulation is designed, and the support of FPU and SSE instruction set translation is extended. The new extensions are implemented and tested in the manner of decompilation efficiency and quality.
|
|
|
Prostředí pro návrh digitálních obvodů s využitím vlastního jazyka typu HLS
Pastušek, Václav ; Dvořák, Vojtěch (oponent) ; Fujcik, Lukáš (vedoucí práce)
V dnešní době existuje spoustu různých vysokoúrovňových syntéz pro popis digitálních obvodů. Ty nejznámější pak generují VHDL kód z programovacích jazyků jako jsou např.: ANSI C, C++, SystemC, SystemVerilog a MATLAB. Ale ne každý se ztotožní s programováním toho typu, proto je občas dobré přejít na vyšší úroveň abstrakce, kdy se schová vnitřní část komponentů, a pak se dané komponenty volají se vstupy a výstupy. Tato práce se zabývá problematikou návrhu HLS, návrhem vstupního pseudokódu, pseudoknihoven, překladače vytvořeném v jazyce Python, jeho moduly a praktickým použitím.
|
|
|
Překladač jazyka C pro mikroprocesor AVR32
Nagy, Michal ; Husár, Adam (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato bakalářská práce se zabývá tvorbou backendu architektury AVR32 pro překladač LLVM. Jádro práce tvoří seznamování se způsobem popisu architektur v LLVM a vlastní implementace backendu AVR32. Dále uvádím několik problémů, na které jsem během implementace narazil, a diskutuji jejich možná řešení. Výsledkem práce je funkční backend s několika omezeními zmíněnými v závěru práce.
|
|
|
Paralelní verze obecné syntaktické analýzy
Mikita, Tibor ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato bakalářská práce se zabývá obecními metodami syntaktické analýzy. Autor studuje Cocke-Younger-Kasami algoritmus a přichází s návrhem paralelní verze. Motivací autora je zrychlení syntaktické analýzy založené na tomto algoritmu. Výsledkem práce je konzolová aplikace, která dokáže zjistit, zda vstupní řetězec patří do jazyka generovaného vstupní gramatikou, nebo nepatří, na základě navrženého paralelního algoritmu. Jako programovací jazyk byl zvolen jazyk C++. Pro dosažení paralelismu byla práce algoritmu rozdělena mezi několik vláken.
|
|
|
Paralelní syntaktická analýza
Holko, Maroš ; Regéciová, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práca sa zaoberá štúdiom niekoľkých metód syntaktickej analýzy, obzvlášť najmä Cocke-Younger-Kasami algoritmu. Ďalej je navrhnutý spôsob paralelizácie tohto algoritmu a jeho implementácia v jazyku C++. Na dosiahnutie paralelizácie boli použité vlákna. S prácou bola vytvorená aj konzolová aplikácia, v ktorej bol implementovaný paralelný CYK algoritmus. Zároveň bolo navrhnuté a implementované rozšírenie, ktoré zisťuje všetky postupnosti použitých pravidiel v prípade, že vstupný reťazec patrí do danej gramatiky. V závere sú diskutované jeho prednosti a nedostatky.
|
|
|
Kompilátor zdrojového kódu pro PLC SIMATIC
Kubát, Zdeněk ; Kaczmarczyk, Václav (oponent) ; Pásek, Jan (vedoucí práce)
Tato diplomová práce popisuje nezávislý kompilátor pro aplikace STEP 7 a WinCC V7.0 společnosti SIEMENS. Kompilátor zpracovává zdrojový soubor generovaný ze STEP 7 a následně ukládá zpracovaná data do mezisouboru typu .xls. Data mezisouboru slouží jako zdrojová data pro funkce generující soubory s tagy, připravenými na import do WinCC V7.0. Pro vytvoření kompilátoru v prostředí Visual Studio 2010 byl použit programovací jazyk C#.
|
host ::
RSS.