|
|
Framework pro statickou analýzu skriptů pro shell
Svoboda, František ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvoření systému pro statickou analýzu skriptů některého unixového shellu. Zmožných alternativ je jako hlavní předmět zájmu zvolen Bourne-again shell. Součástí projektu je seznámení se sprincipy statické analýzy, prostudování současných aplikací, které se touto problematikou zabývají, a také probádání syntaxe a architektury vybraného shellu. Výsledkem projektu je návrh a realizace modulárního systému, který umožní zásuvným modulům provádět různé analýzy skriptů. Systém zahrnuje správu zásuvných modulů, prostředky pro jejich interakci, zpracování výstupů a nastavení vstupu. Také je popsáno několik zásuvných modulů, které jsou schopny některé základní analýzy provádět.
|
|
|
Transformace kódů aplikovaná pro dekompilaci
Šomlo, Ivan ; Bidlo, Radek (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca popisuje proces a jednotlivé časti dekompilácie. Dekompilácia je opačný proces ku kompilácii. Jej úlohou je transformácia vstupného programu, obyčajne v strojovom kóde, do funkčne ekvivalentnej podoby vo vyššom programovacom jazyku. Práca popisuje jednotlivé fázy dekompilácie: disasembler, generátor vnútornej reprezentácie programu, analýza základných blokov, optimalizácia, analýza dátových a riadiacich tokov a generovanie výsledného kódu.
|
|
|
Prezentace transformací atributů v SQL pro potřeby data governance
Bartoš, Michal ; Janoušek, Jan (vedoucí práce) ; Kopecký, Michal (oponent)
Práce se zabývá extrakcí popisů transformací jednotlivých atributů z Oracle SQL skriptů a způsobem jejich prezentace uživatelům. Porovnává vhodnost několika variant výstupního formátu a pro vybraný formát následně rozebírá detaily jeho tvorby a rozhodnutí, která k němu vedla. Jedním z významných rozhodnutí byla volba vstupních datových struktur: abstraktního syntaktického stromu a grafu datových toků. Tato volba poskytuje iniciální analýzu vstupních SQL skriptů, ale má také výrazný vliv na další průběh zpracování. Výstupy této práce byly ověřeny pomocí prototypové implementace v nástroji Manta, na které je prezentována vhodnost zvoleného řešení pro přehlednou prezentaci uživatelům. 1
|
|
|
Transformace kódů aplikovaná pro dekompilaci
Šomlo, Ivan ; Bidlo, Radek (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca popisuje proces a jednotlivé časti dekompilácie. Dekompilácia je opačný proces ku kompilácii. Jej úlohou je transformácia vstupného programu, obyčajne v strojovom kóde, do funkčne ekvivalentnej podoby vo vyššom programovacom jazyku. Práca popisuje jednotlivé fázy dekompilácie: disasembler, generátor vnútornej reprezentácie programu, analýza základných blokov, optimalizácia, analýza dátových a riadiacich tokov a generovanie výsledného kódu.
|
|
|
Prezentace transformací atributů v SQL pro potřeby data governance
Bartoš, Michal ; Janoušek, Jan (vedoucí práce) ; Kopecký, Michal (oponent)
Práce se zabývá extrakcí popisů transformací jednotlivých atributů z Oracle SQL skriptů a způsobem jejich prezentace uživatelům. Porovnává vhodnost několika variant výstupního formátu a pro vybraný formát následně rozebírá detaily jeho tvorby a rozhodnutí, která k němu vedla. Jedním z významných rozhodnutí byla volba vstupních datových struktur: abstraktního syntaktického stromu a grafu datových toků. Tato volba poskytuje iniciální analýzu vstupních SQL skriptů, ale má také výrazný vliv na další průběh zpracování. Výstupy této práce byly ověřeny pomocí prototypové implementace v nástroji Manta, na které je prezentována vhodnost zvoleného řešení pro přehlednou prezentaci uživatelům. 1
|
|
|
Framework pro statickou analýzu skriptů pro shell
Svoboda, František ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvoření systému pro statickou analýzu skriptů některého unixového shellu. Zmožných alternativ je jako hlavní předmět zájmu zvolen Bourne-again shell. Součástí projektu je seznámení se sprincipy statické analýzy, prostudování současných aplikací, které se touto problematikou zabývají, a také probádání syntaxe a architektury vybraného shellu. Výsledkem projektu je návrh a realizace modulárního systému, který umožní zásuvným modulům provádět různé analýzy skriptů. Systém zahrnuje správu zásuvných modulů, prostředky pro jejich interakci, zpracování výstupů a nastavení vstupu. Také je popsáno několik zásuvných modulů, které jsou schopny některé základní analýzy provádět.
|
host ::
RSS.