|
|
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.
|
|
|
Statická analýza možných hodnot proměnných v programech v C
Ďuričeková, Daniela ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že se v programu nevyskytují chyby za běhu, jako například přístup za hranici pole. Jelikož analýza rozsahu hodnot získává informace o každém místě v programu, lze k její implementaci využít analýzu toku dat (anglicky data-flow analysis). Cílem této diplomové práce je návrh a implementace funkčního nástroje provádějícího analýzu rozsahu hodnot. Práce začíná úvodem do problematiky, vysvětlením analýz toku dat a hodnot proměnných a popisem abstraktní interpretace, která tvoří formální základ analyzátoru. Následuje seznámení s prostředím Code Listener, které bylo využito k implementaci analyzátoru. Jádro práce tvoří návrh, implementace a otestování analyzátoru. V závěru jsou shrnuty nabyté zkušenosti a diskutovány možnosti budoucího vývoje vytvořeného nástroje.
|
|
|
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
|
|
|
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
|
|
|
Statická analýza možných hodnot proměnných v programech v C
Ďuričeková, Daniela ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že se v programu nevyskytují chyby za běhu, jako například přístup za hranici pole. Jelikož analýza rozsahu hodnot získává informace o každém místě v programu, lze k její implementaci využít analýzu toku dat (anglicky data-flow analysis). Cílem této diplomové práce je návrh a implementace funkčního nástroje provádějícího analýzu rozsahu hodnot. Práce začíná úvodem do problematiky, vysvětlením analýz toku dat a hodnot proměnných a popisem abstraktní interpretace, která tvoří formální základ analyzátoru. Následuje seznámení s prostředím Code Listener, které bylo využito k implementaci analyzátoru. Jádro práce tvoří návrh, implementace a otestování analyzátoru. V závěru jsou shrnuty nabyté zkušenosti a diskutovány možnosti budoucího vývoje vytvořeného nástroje.
|
|
|
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.