|
|
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ě.
|
|
|
System for Testing of YARA Rules
Dižová, Natália ; Křivka, Zbyněk (oponent) ; Regéciová, Dominika (vedoucí práce)
The goal of this bachelor's thesis is to design and implement system for testing rules, which are used to detect malware. Theoretical section contains necessary knowledge about the pattern description language and the pattern matching tool named YARA. Next section contains description and analysis of currently available detection rules, their structure and usage. A system developed by Avast Software used for distributed file scanning, called Yarka, is also described. The core of this thesis is about description of system for YARA rules testing using system Yarka. The achieved results of regression testing of rules are discussed in conclusion. This thesis was created with Avast Software collaboration.
|
|
|
Modularizace informačního systému pro festival
Hanes, Ján ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práce studuje modularitu informačních systémů, jejich architekturu a princip vývoje modulů. Zaměřuje se hlavně na systém správy obsahu Drupal, který analyzuje v kontextu existujícího informačního systému pro správu lidských zdrojů festivalu Animefest. Navrhuje realizaci migrace existujícího systému na novou hlavní verzi systému Drupal, implementaci podpůrných modulů a nasazení nové verze systému do provozu. Druhá část názorně ilustruje vývoj modulu se zaměřením na gamifikaci a dále analyzuje tuto problematiku.
|
|
|
Nová generace nástroje Fedora MediaWriter
Gasta, Evžen ; Kolář, Dušan (oponent) ; Regéciová, Dominika (vedoucí práce)
Cílem této práce je vytvoření nové verze nástroje Fedora Media Writer, pomocí kterého se vytváří bootovací disk USB s operačním systémem Fedora. Hlavním důvodem předělaní je podpora nativního vzhledu na operačních systémech Windows a MacOS. Nová verze frameworku Qt tohoto může dosáhnout. Výsledkem je nový vzhled aplikace s dalšími vylepšeními. Přínosem této práce je aktualizace open source aplikace, o kterou měla komunita zájem. Výsledná aplikace umožňuje používat Fedora Media Writer s nativním designem na různých operačních systémech.
|
|
|
Standardní knihovny a preprocesor jazyka C pro WWW prohlížeč
Burda, Luděk ; Regéciová, Dominika (oponent) ; Kolář, Dušan (vedoucí práce)
Tato technická zpráva popisuje návrh i implementaci preprocessoru pro jazyk C v jazyce javascript bez využití vzdáleného serveru pro zpracování zdrojového kódu. Dále se zabývá implementací podmnožiny funkcí ze standardních knihoven jazyka C v jazyce javascript a jejich paměťovou a časovou efektivitou. Také je implementován paměťový model jazyka C založený na datových typech jako nezbytný prvek pro funkčnost standardních knihoven.
|
|
|
Karel 3D - aplikace pro výuku programování
Čoupek, Vojtěch ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práce se zabývá přehledem dostupných prostředků pro pedagogy informatiky, kteří seznamují studenty s programováním. Cílem je implementace prostředí pedagogického jazyka Karel inspirovaného prací Andreje Blaha a jeho kolegů pro platformu MS-DOS. Byla navržena aplikace ve webovém prostředí, která rozšiřuje funkčnost předlohy o proměnné a zahrnuje moderní prvky uživatelského rozhraní, jako jsou blokové programování, obarvování syntaxe jazyka, syntaktickou kontrolu a 3D grafiku. Současně také pedagogům nabízí sadu základních příkladů a dovoluje jim tvořit si vlastní zadání.
|
|
|
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.
|
|
|
Vylepšení generování vzorů pro detekci škodlivého kódu
Štěpánek, Martin ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá automatickým generováním vzorů, které jsou využitelné pro detekci škodlivého kódu. Cílem je vytvořit nástroj, který bude pomáhat analytikům při odhalování a detekování malwaru. Jsou zhodnoceny postupy detekce malwaru používané společností Avast Software. Je představen nástroj YaraGen, který byl v rámci této práce zdokonalen. Je popsáno několik typů analýz, které byly pro nástroj YaraGen implementovány. Hlavním přínosem této práce jsou především analýzy behaviorálních rysů škodlivého kódu.
|
|
|
Aplikace teorie formálních jazyků v oblasti počítačové bezpečnosti
Regéciová, Dominika ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Počítačová bezpečnost je a vždy bude kritickou oblastí, která ovlivňuje každého z nás. Přes veškeré úsilí vynaložené na tvorbu bezpečnějších systémů a jejich testování se však stále objevují nové chyby a zranitelnosti budící dojem boje s větrnými mlýny. Částečné odůvodnění současného stavu, ale i možná řešení, přináší v mnoha ohledech výjimečný pohled na bezpečnost skrze teorií formálních jazyků. Důraz by podle něj měl být kladen především na odpovědnější přístup k rozpoznávání a zpracování vstupů, které jsou často vstupní branou mnoha útokům. V této práci se blíže seznámíme s tímto směrem a jeho doporučeními pro vývoj a následně si představíme novou metodu detekce SQL injection útoků postavené na jeho základech.
|
|
| |
host ::
RSS.