|
|
Steganographics filesystem
Kollár, Ivor ; Holub, Viliam (vedoucí práce) ; Parízek, Pavel (oponent)
V predloženej práci študujeme možnosti ochrany informácie v situácii, keď samotná kryptogra a nestačí. Skúsime rozobrať možnosť utajenia informácie, nie však v nevinne sa tváriacom nosiči( zvuk, obraz, video ), ale v pseudosteganografi ckom archíve. Pokúsime sa popísať, a neskôr aj implementovať algoritmus, ktorý bude schopný vytvoriť archív, spájajúci nasledujúce vlastnosti: Bude obsahovať N súborov, každý chránený jedným z N klúčov, pričom číslo N sa pokúsime útočníkovi zatajiť. Pri použití jedného z klúčov získame práve jeden súbor, pričom o existencii ostatných súborov by sme nemali získať žiadnu informáciu. Implementácia tohto algoritmu by mala byť čo najjednoduchšia, platformovo čo najmenej závislá, a jednoducho prakticky použitelná.
|
|
|
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Husák, Robert ; Kofroň, Jan (vedoucí práce) ; Parízek, Pavel (oponent)
Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft FxCop, Code Contracts a Pex. Použití těchto nástrojů může velkou měrou přispět k vysoké spolehlivosti programů. Jejich úplné zapojení do procesu vývoje software ve firmách je bohužel značně náročné na prostředky. Z tohoto důvodu jsme vytvořili AskTheCode, zjednodušený nástroj pro verifikaci asercí kódu. Jeho hlavním účelem je pomoci uživateli s jedním konkrétním problémem, který v daném okamžiku řeší. Vzhledem k tomuto přístupu jsme jej implementovali pomocí zpětné symbolické exekuce. Přestože je momentálně schopen pracovat pouze se základními konstrukty a typy jazyka C#, srovnání s existujícími nástroji ukázalo, že při dalším rozvoji má potenciál poskytnout uživateli významnou přidanou hodnotu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Testování webových aplikací
Borovcová, Anna ; Majerech, Vladan (vedoucí práce) ; Parízek, Pavel (oponent)
Předmětem diplomové práce je vysvětlení problematiky testování webových aplikací zejména potenciálním testerům. Práce proto srozumitelnou formou sděluje zkušenosti nasbírané z různých zdrojů a vychází z mojí tříleté praxe testování a roční praxe ve školení nových testerů převážně ve firmě Unicorn. První část práce je věnována úvodu do webových aplikací, jsou zde zmíněny základní principy a historie internetu i proces vývoje a jeho metodiky. Druhá část se zabývá základními aspekty testování a jak je vidí různí zkušení testeři z České republiky i ze zahraničí. Třetí část vybírá a představuje některé techniky a nástroje vhodné pro testování webových aplikací. Čtvrtá část obsahuje praktickou ukázku některých testovacích dokumentů.
|
|
|
Extending Data Lineage Analysis Towards .NET Frameworks
Zeman, Dalibor ; Parízek, Pavel (vedoucí práce) ; Ježek, Pavel (oponent)
Platforma Manta je jednotný komerční produkt pro analýzu a vizualizaci datových toků. Platforma Manta podporuje mnoho technologií. Jednou z kategorií technologií jsou takzvané intermediate jazyky. Mezi ně patří například Java nebo C#. Pro každou z těchto technologií existuje skener. Tato práce se zaměřuje na rozšíření skeneru jazyka C# o podporu zásuvných modulů souvisejících s databázemi a ORM. Nejprve si uvedeme stručný popis fungování platformy Manta. Poté představíme skener C#, některé jeho důležité části a vysvětlíme některé koncepty a algoritmy, které se používají k analýze C# kódu. Poté je představena analýza kontextů frameworků ORM a Entity Framework Core z hlediska analýzy toku dat. Po vysvětlení kontextu popíšeme rozšíření skeneru C#, řešení problémů a naše řešení. Ke konci práce si rozebereme podporu jednoho konkrétního ORM frameworku - Entity Framework Core. Opět se zde zabýváme řešením problémů a popisem řešení. Na konci práce je možné najít omezení našeho řešení a jeho možná rozšíření. 1
|
|
|
Data Lineage Analysis of Frameworks with Complex Interaction Patterns
Hýbl, Oskar ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Manta Flow je nástroj pro analýzu toku dat v podnikovém prostředí. Obsahuje modul Java skener, využívající statickou analýzu k nalezení datových toků Java aplikacemi. Aby bylo možné analyzovat aplikaci využívající určitý framework, vyžaduje skener speciální plugin. Přestože Java skener poskytuje pluginy pro několik frameworků, k použitelnosti na reálných aplikace je nezbytné, aby podporoval frameworků co nejvíce. To vyžaduje implementaci nových pluginů. Aplikace využívající Apache Spark, framework pro výpočty na clusterech, jsou stále populárnější. Proto jsme navrhli a implementovali plugin pro Java skener, který mu umožňuje analyzovat aplikace využívající tento framework. Protože se Spark zaměřuje na zpracování dat, přestavovala implementace pluginu pro jeho podporu, oproti již existujícím pluginům, několik nových výzev. Zejména bylo nutné vyvinout metody detekce schématu dat v různých scénářích a sledovat jeho změny během všech operací vyvolaných na datech. Z několika API, která Spark poskytuje pro zpracování dat, jsme se zaměřili na modul Spark SQL, zejména na třídu Dataset. Vynechali jsme především již zastaralé RDD. Implementovali jsme také podporu pro přístup k databázím pomocí JDBC a k souborům ve vybraných formátech. Implementace byla důkladně testována a je prokázáno, že funguje správně...
|
|
|
Automated Program Minimization With Preserving of Runtime Errors
Leskovar, Denis ; Parízek, Pavel (vedoucí práce) ; Bednárek, David (oponent)
Ladění velkých programů je časově náročný úkol, který dosud nebyl plně automati- zován. Vývojář musí nejprve reprodukovat danou běhovou chybu. Poté musí najít hlavní příčinu chyby a správně ji opravit. Automatizace může tento proces výrazně zefektivnit snížením množství kódu, se kterým musí vývojář pracovat. Tato práce představuje tři metodiky automatického redukování daného selhávajícího programu na jeho minimální spustitelnou podmnožinu. Techniky jsou založeny na existujících poznatcích v oblasti ladění. Automaticky minimalizovaný program musí vést ke stejné běhové chybě jako původní program. Minimalizace se zaměřuje na optimální výsledky v oblasti malých a jednoduchých aplikacích. Cílem této práce je popsat techniky, které jsou vhodné pro redukci programu. Tyto techniky jsou poté implementovány pomocí Clang LibTooling, knihovny pro nástroje postavené na projektu Clang. Práce vysvětluje vnitřní fungování každé implementace a poukazuje jejich omezení. Implementace jsou porovnány na sadě zdrojových souborů psaných v jazycích C a C++. Efektivita implementace je odvozena na základě velikosti generovaného výstupu a doby chodu algoritmu. 1
|
|
|
Extending Data Lineage Analysis Platform with Support for Dependency Injection Frameworks
Riedel, Lukáš ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Datové toky tvoří důležitý aspekt dnešního podnikového prostředí. MANTA Flow je platforma pro analýzu datových toků, která již má základní podporu pro analýzu Java programů poskytovanou jednou z jejích komponent zvaných Bytecode Scanner. Přesto je v dnešním podnikovém prostředí jen velmi málo aplikací, které nepoužívají vkládání závis- lostí alespoň ve velmi omezené míře. Proto představujeme rozšíření komponenty Bytecode Scanner v platformě MANTA Flow, abychom také umožnili automatickou analýzu da- tových toků v aplikacích, které využívají vkládání závislostí. Rozšíření dokáže zpracovat i složité definice standardních kontejnerů pro vkládání závislostí. Vzhledem k tomu, že vkládání závislostí ovlivňuje výběr cílů volání metody, popisujeme také strukturu grafu volání a jeho modifikace pro podporu vkládání závislostí. Nakonec použijeme tuto infras- trukturu k návrhu a implementaci pluginu do komponenty Bytecode Scanner pro Spring Framework, populární knihovnu pro vkládání závislostí pro platformu Java. Plugin byl úspěšně testován na malém, ale realistickém softwarovém systému, který umí číst data ze souboru, transformovat je a zapisovat do databáze. 1
|
|
|
Debugging Support for Static Analysis Library WALA
Havel, Filip ; Parízek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
V dnešní době je statická analýza užitečným nástrojem pro vývojáře, který zajistí kontrolu všech důležitých vlastností vyvinuté aplikace. Avšak i statické analýzy musí být vyvíjeny, což nevyhnutelně vede k potřebě je ladit za účelem nalezení a opravy problémů uvnitř analýzy. Ladění statické analýzy může být komplikovanější z důvodu absence dostatečné podpory pro ladění, kterou trpí i populární knihovny pro statickou analýzu. Jednou ze široce používaných knihoven pro statickou analýzu je WALA. V této práci jsme důkladně prozkoumali všechny hlavní nástroje z knihovny WALA a určili možnosti zlepšení podpory ladění. Pro všechny tyto možnosti jsme navrhli a implementovali pod- půrnou infrastrukturu, která by měla urychlit proces ladění tím, že odstraní nutnost zdlouhavé manuální práce potřebné pro kontrolu a vyhodnocení interních stavů knihovny WALA. Jedním typem vylepšení je ladění konfigurace analýzy, kde jsme vytvořili systém pro kontrolu hierarchie tříd a grafu volání, který by měl detekovat běžné problémy s ne- správnou konfigurací. Dalším bodem je ladění funkcí přechodu datových toků, pro který jsme vytvořili vizualizér probíhající analýzy nad cílovým programem. Tato vizualizace se provádí v editoru Visual Studio Code. Pro připojení editoru k analýze jsme využili Debug Adapter Protokolu a knihoven pro...
|
|
|
Transactions in Peer-to-Peer Systems
Parízek, Pavel
Práce se nejprve věnuje diskuzi použitelnosti transakcí v peer-to-peer systémech, s tím výsledkem, že transakce mají smysl pro některé třídy aplikací určených pro peer-to-peer prostředí, a specifikuje požadavky na protokol pro řízení průběhu transakcí, který by byl vhodný pro peer-to-peer prostředí. Dále následuje úvod do platformy JXTA, která poskytuje prostředky pro běh peer-to-peer aplikací, a do protokolu BTP, který je určen pro řízení běhu dlouhotrvajících transakcí. Poslední část textu popisuje knihovnu BTP-JXTA, která umožňuje použití transakcí v aplikacích běžících na platformě JXTA, a kterou jsem implementoval v rámci této práce. Popis knihovny se zaměřuje na architekturu a důležité implementační koncepty a také na metodiku testování, která byla použita.
|
|
|
Extending C# with a Library of Functional Programming Concepts
Ćerim, Harun ; Parízek, Pavel (vedoucí práce) ; Ježek, Pavel (oponent)
Hlavním cílem této diplomové práce bylo zavedení funkční programovací (FP) knihovny s názvem Funk, která rozšiřuje C# s podporou konceptů přítomných ve funkčních programovacích jazycích, jako jsou F# a Scala. Funk využívá mnoho funkčních programovacích konceptů, včetně neměnnosti, sladění vzorů a různých typů monád, společně se silnějším psaním. Zavedení těchto konceptů do jazyka C# pomáhá vyhnout se mnoha chybám v běhu a vzorovému kódu a také umožňuje vývojářům psát kód C# deklarativně, nikoli imperativně, což usnadňuje každodenní vývoj softwaru a snižuje náchylnost k chybám. Kromě toho diplomová práce analyzuje a porovnává Funk se stávajícími funkčními programovacími knihovnami, jako je Language-ext a FuncSharp. Nakonec analyzuje nové funkce C# 8, které zahrnují nulovatelné typy odkazů a sladění vzorů a porovnává je s funkcemi knihovny Funk.
|
host ::
RSS.