|
|
Inkrementální statická analýza pro jazyk YARA
Dvořák, Vojtěch ; Kolář, Dušan (oponent) ; Regéciová, Dominika (vedoucí práce)
Hlavním cílem této bakalářské práce je navrhnout a implementovat programovou knihovnu, jež umožní inkrementální statickou analýzu jazyka YARA. Jedním z hlavních účelů této nové knihovny je integrace s open-source projektem Yara Language Server, který vyvíjí firma Avast. Oproti dosavadnímu řešení, jež využívá neinkrementální přístup k analýze, by mělo dojít ke snížení nároků na strojový čas. Kromě informací o programovém řešení je součástí této práce rovněž souhrn teorie zaměřující se na statickou analýzu a její inkrementální variantu, zásadní informace o nástroji YARA a také seznámení s dosavadním řešením, s knihovnou Yaramod-v3. Dále je v práci zahrnuto také srovnání nové knihovny s tímto dosavadním řešením, v němž jsou prezentovány dosažené výsledky. Provedené experimenty ukázaly, že nová knihovna je schopná provést inkrementální analýzu modifikované sady pravidel přibližně 20× – 2000× rychleji v závislosti na konkrétní sadě.
|
|
|
Debugger Frontend for the SharpDevelop IDE
Koníček, Martin ; Ježek, Pavel (vedoucí práce) ; Dokulil, Jiří (oponent)
Cílem této práce je prozkoumat nové přístupy k ladění kódu na platformě .NET framework, se zameřením na visualizaci dat v laděném programu. Specifické cíle této práce jsou: (a) implementovat nástroj, který zobrazuje datové struktury v laděném programu jako orientované grafy, (b) zlepšit způsob, jakým jsou běžně visualizovány kolekce objektů díky implementaci nového nástroje, který zobrazuje přehled obsahu objektů v kolekci, a zároveň efektivně podporuje všechny užitečné typy kolekcí. Práce je implementována pro integrované vývojové prostředí pro .NET SharpDevelop. Autor spolupracuje s členy SharpDevelop týmu a výsledky práce jsou již součástí nové verze SharpDevelopu.
|
|
| |
|
|
Implementace procesu změny dodavatele plynu v prostředí SAP
Skolek, Ivo ; Rychlý, Marek (oponent) ; Bartík, Vladimír (vedoucí práce)
Na liberalizovaném trhu se zemním plynem v České republice má odběratel možnost volby dodavatele plynu a ovlivnit tak neregulovanou složku ceny dodávky. Proces změny dodavatele je realizován výměnou zpráv všech zúčastněných subjektů s operátorem trhu, jenž vystupuje v roli prostředníka. Tato bakalářská práce se zabývá návrhem a implementací procesu změny dodavatele v prostředí SAP IS-U.
|
|
|
Frege IDE with JetBrains MPS
Satmári, István ; Parízek, Pavel (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Frege je open-source projekt, ktorý prináša populárny funkcionálny programovací jazyk Haskell pre platformu Java. JetBrains MPS je zase open-source nástroj pre vytváranie nových programovacích jazykov a vývojových integrovaných prostredí na báze projekčného editoru. V tejto práci analyzujeme gramatiku pre jazyk Frege a popisujeme postup vývoja integrovaného prostredia postaveného nad nástrojom JetBrains MPS pre uľahčenie vývojárom s písaním kódu vo Frege. Naše vývojové prostredie zahŕňa intuitívny editor pre editáciu syntaxe v jazyku Frege, poskytuje jednoduchú typovú kontrolu a obsahuje generátory pre textový výstup zadaného programu. Cieľom nášho nástroju je jeho užívateľská prívetivosť. Táto práca v závere taktiež porovnáva projekčné editory oproti bežným vývojovým prostrediam založených na editácii textu, ako je napríklad Eclipse, a skúma, či projekčné editory poskytujú akúkoľvek výhodu pri písaní kódu vo funkcionálnych programovacích jazykoch.
|
|
| |
|
|
Integrované prostředí pro vývoj webových aplikací
Nesveda, František ; Kruliš, Martin (vedoucí práce) ; Kofroň, Jan (oponent)
V současné době je jednou z nejpopulárnějších oblastí programování tvorba webových stránek a webových aplikací. Je tedy přirozené, že se u těchto webových projektů často objeví nějaký problém a programátor ho potřebuje co nejrychleji odstranit, i když právě nemá přístup ke svému počítači. V této práci vytváříme jednoduché vývojové prostředí připojitelné k uživatelem spravované webové aplikaci tak, aby se tato aplikace nechala upravovat online ve webovém prohlížeči. Na rozdíl od jiných populárních online vývojových prostředí je vytvořené IDE uloženo a spouštěno na stejném serveru, jako uživatelova aplikace. IDE umí spravovat soubory uživatelovy aplikace a editovat její zdrojové soubory. Dále IDE obsahuje nástroj na správu databází, nástroj na online ladění PHP skriptů a verzovací systém sloužící k zaznamenávání a spravování změn v uživatelově projektu. Powered by TCPDF (www.tcpdf.org)
|
|
|
An IDE for C# Script Development
Pelc, Jan ; Ježek, Pavel (vedoucí práce) ; Bednárek, David (oponent)
Tato práce se zabývá nástroji umožňujícími použití jazyka C# k tvorbě skriptů - krátkých programů určených pro rychlé vyřešení malých, typicky jednorázových úloh, které obvykle vyvstávají při práci na větších projektech. V práci zanalyzujeme existující nástroje, určíme jejich výhody a nevýhody, zformulujeme požadavky na náš vlastní nástroj a tento nástroj vytvoříme. Výsledkem práce je malé vývojové prostředí (IDE) pro rychlé a snadné psaní skriptů v jazyce C#. Prostředí nabízí dostatek funkcí pro snadnou tvorbu a ladění programů sestávajících se převážně z jediného zdrojového souboru v jazyce C#. V práci intenzivně využíváme knihovnu NRefactory pro syntaktickou a sémantickou analýzu zdrojového kódu v jazyce C#. Powered by TCPDF (www.tcpdf.org)
|
|
|
Debugger Frontend for the SharpDevelop IDE
Koníček, Martin ; Ježek, Pavel (vedoucí práce) ; Dokulil, Jiří (oponent)
Cílem této práce je prozkoumat nové přístupy k ladění kódu na platformě .NET framework, se zameřením na visualizaci dat v laděném programu. Specifické cíle této práce jsou: (a) implementovat nástroj, který zobrazuje datové struktury v laděném programu jako orientované grafy, (b) zlepšit způsob, jakým jsou běžně visualizovány kolekce objektů díky implementaci nového nástroje, který zobrazuje přehled obsahu objektů v kolekci, a zároveň efektivně podporuje všechny užitečné typy kolekcí. Práce je implementována pro integrované vývojové prostředí pro .NET SharpDevelop. Autor spolupracuje s členy SharpDevelop týmu a výsledky práce jsou již součástí nové verze SharpDevelopu.
|
|
|
Rozhraní IDE pro platformu FITkit
Sigmund, Stanislav ; Šimek, Václav (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce se zabývá praktickou realizací řadiče IDE rozhraní uvnitř jednotky FPGA a připojením pevného disku. Kromě řadiče byla vytvořena řada knihovních funkcí pro práci s diskem na nejnižší úrovni a řada funkcí zpřístupňující souborový systémem FAT32. Řadič je určen pro výukovou platformu FITKit, kde značně rozšiřuje kapacitní možnosti kitu.
|
host ::
RSS.