|
|
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.
|
|
|
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.
|
host ::
RSS.