|
|
Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných
Kovalič, Peter ; Šimáček, Jiří (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se věnuje verifikaci ovládačů. Používají se při tom model checkery, hlavní z nich je Static Driver Verifier. Pomocí něj se kontroluje zvolený ovládač Ext2Fsd. Patří do skupiny ovládačů souborových systémů. Kontrola probíhá podle zadaných pravidel, které nesmí ovládač porušovat. Cílem práce bylo vybraný ovládač verifikovat pomocí zvoleného nástroje. Ve výsledcích bylo dosaženo stavu, kdy se ve verifikovaném ovládači objevili všechny tři dostupné možnosti výsledku ovládač splňoval některá pravidla, některá odhalily jeho chyby a jiné nebyly aplikovatelné. Na konci této práce se nachází ještě kapitola, věnována dalšímu model checkeru, s názvem Copper, která poskytuje základní poznatky o tomto nástroji.
|
|
|
Pluginy pro získávání informací o systému pro projekt BusyBox
Poláček, Marek ; Konečný, Filip (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá implementací nástrojů pro získávání informací o operačním systému pro projekt Busybox. Diskutovány jsou souborové systémy sysfs a procfs v operačním systému Linux. Dále se práce zabývá tím, jak vytvářet co nejmenší programy v jazyce C. Také se věnuje struktuře programů iostat, mpstat a powertop. V rámci práce byly vytvořeny minimalistické implementace již existujících nástrojů, zejména z balíku sysstat, který obsahuje například utility iostat a mpstat.
|
|
|
Implementace pluginu portmap do projektu BusyBox
Huba, Lukáš ; Fiedor, Jan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá implementací portmapu pro balík BusyBox. První část se zabývá teoretickou průpravou a konkrétně zasvěcuje čtenáře do technologie volání vzdálených procedur (RPC), datové reprezentace (XDR) a portmap protokolu. Druhá část práce stručně seznamuje čtenáře s projektem BusyBox a popisuje implementaci pluginu portmap. V závěru se pojednává o dosažených výsledcích.
|
|
|
Automatizované metody hledání chyb v překladačích
Müller, Petr ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod statické a dynamické analýzy pro hledání těchto chyb a jako vhodnou navrhuje dynamickou metodu fuzz testování. V rámci práce byl implementován nástroj pro testování překladačů používající tuto metodu, který byl aplikován na několik případů, přičemž se podařilo nalézt sérii chyb v rozšířených překladačích, a to včetně např. GCC.
|
|
|
Metody útoků na operační systém Linux
Procházka, Boris ; Malinka, Kamil (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato bakalářská práce se zaměřuje na bezpečnost Linuxového jádra z útočníkova pohledu. Snaží se identifikovat a zmapovat veškeré charakteristické rysy a metody používané dnešními počítačovými piráty. Jedním z cílů této práce je poskytnout komplexní pohled na danou problematiku. Ve výsledku tak může sloužit jako malá referenční příručka komukoliv, kdo má zájem o rozšíření znalostí z oblasti jaderné bezpečnosti. Práce se skládá ze čtyř částí. První opakuje a definuje nejzákladnější pojmy a členění z oblasti operačních systémů. Druhá a třetí část tvoří jádro práce. Zahrnují principy a metody používané pro skrytí procesů, souborů, spojení apod. Poslední kapitola je věnována doprovodným tématům. Přílohou k této bakalářské práci je skupina jaderným modulů, které demonstrují diskutované problémy, a tabulky, porovnávající současné rootkity.
|
|
|
Techniky virtualizace výpočetních platforem v Linuxu
Župka, Jiří ; Kumpošt, Marek (oponent) ; Vojnar, Tomáš (vedoucí práce)
Práce testuje a porovnává nástroje pro virtualizaci výpočetních platforem a vysvětluje pojmy důležité pro pochopení problematiky virtualizace. Jejím hlavním přínosem je srovnání s pohledu výkonnosti, efektivnosti, škálovatelnosti a robustnosti virtualizačních nástrojů. Toto srovnání má pomoci firmě Redhat rozhodnout, zda opustit XEN jako hlavní virtualizační nástroj v jejich distribucích a přejít na jiný novější, uživatelsky příjemnější virtualizační nástroj, jako je například KVM.
|
|
|
Automatické srovnávání výstupu statické analýzy na různých verzích programů
Kompová, Radmila ; Müller, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Práce se zabývá vývojem nástrojové podpory pro srovnávání výstupu statické analýzy uplatněné na různé verze zdrojových kódů programů. Součástí je rovněž diskuze tří volně dostupných statických analyzátorů pro jazyk C, z nichž byl pro implementaci práce zvolen Cppcheck. Výstupy analyzátoru získané pro různé verze určitého programu jsou srovnávány na základě kontextu v okolí řádku, na němž byla nalezena chyba. Pro porovnávání dvou kontextů je využit nástroj patch. Chyby jsou po srovnání klasifikovány do tří skupin\,--\, nové, staré a opravené. Součástí práce je rovněž webové rozhraní umožňující přehlednější prezentaci výsledků. Vytvořený nástroj byl úspěšně otestován na třech projektech s otevřenými zdrojovými kódy, konkrétně na jádře Linux, Coreutils a CPython.
|
|
|
Vybraná rozšíření algebraického systému Octave
Salač, Radek ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Práce se zabývá problematikou řešení soustavy lineárních rovnic v prostředí číslicového počítače. Popisuje základní používané algoritmy s důrazem na jejich silné a slabé stránky. Věnuje se obecným problémům jako je časová složitost a paměťová náročnost daných algoritmů. V závěru popisujeme průběh implementace vybraných procedur do algebraického systému Octave.
|
|
|
Implementace pluginů pro ifplugd do projektu BusyBox
Kryzhanovskyy, Maksym ; Šimáček, Jiří (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá portovanim démona ifplugd do projektu BusyBox. První část textu poskytuje úvodní informace o projektu BusyBox a nahlíží do struktury aplikace. Druhá část textu se zabývá implementaci démona ifplugd. V rámci teto práce byly provedené dílčí úpravy v kódu BusyBox a démon ifplugd implementován v podobě appletu do balíku BusyBox. V závěru této práce jsou diskutované dosažené výsledky.
|
|
|
Nástroj pro analýzu výkonu alokátorů paměti v operačním systému Linux
Müller, Petr ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato diplomová práce prezentuje nástroj, který umožňuje analýzu vlastností dynamických paměťových alokátorů se zaměřením na jejich výkon. Práce identifikuje důležité výkonnostní metriky paměťových alokátorů a také faktory prostředí a programu, které tyto metriky mohou ovlivnit. Na základě těchto nalezených metrik byl navrhnut a implementován nástroj, který umožnuje jejich sběr a analýzu. Nástroj umožňuje tvorbu různých scénářů použití alokátorů tak, aby bylo možné analyzovat chování alokátorů za různých podmínek. Tento nástroj byl testován na několika dostupných paměťových alokátorech se svobodnou licencí.
|
host ::
RSS.