|
|
Zásuvný modul pro prostředí Eclipse
Zaytsev, Vsevolod ; Burget, Radim (oponent) ; Sysel, Petr (vedoucí práce)
Tato bakalářská práce má za cíl vytvoření nového zásuvného modulu na základě Dynamic Language Toolkit (DLTK), do vývojového prostředí Eclipse. Teoretická část této práce se zabývá architekturou vývojového prostředí Eclipse a vysvětluje možnost jeho rozšíření o vlastní zásuvné moduly, zejména pro podporu skriptovacího jazyku Octave. Praktická část práce popisuje vytvoření nového zásuvného modulu pro prostředí Eclipse, jeho nasazení a aktivace.
|
|
|
Modernizace GIS systému GRASS
Bartoň, Radek ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Geografický informační systém GRASS se stal za 26 let své existence standardem na poli modelování geografických jevů. Jeho vnitřní struktura však odpovídá době jeho vzniku. Tato práce chce navrhnout možnou podobu modernizace interních částí zavedením komponentní architektury a objektových návrhových vzorů, jakož i podporu distribuovaných výpočtů a dynamických jazyků, ale z~uživatelského pohledu chce ovládání zachovat. Výsledek návrhu je rozveden do prototypové implementace knihovny nazvané GAL Framework.
|
|
|
Towards Static Analysis of Languages with Dynamic Features
Hauzar, David ; Plášil, František (vedoucí práce) ; Sinz, Carsten (oponent) ; Holík, Lukáš (oponent)
Dynamické funkce programovacích jazyků, jako je dynamický typový systém, dynamické volání funkcí, dynamické vykonávání kódu a dynamické datové struktury, poskytují flexibilitu, která urychluje vývoj. Tyto funkce ale snižují množství informací, které jsou kontrolovány v době kompilace. To má za následek nižší výkon a větší chybovost programů. Tento problém je možné vyřešit pomocí technik statické analýzy. Dynamické funkce bohužel pro tyto techniky představují překážku a zásadně omezují jejich přesnost, spolehlivost a výkonnost. Abychom tento problém pomohli vyřešit, navrhujeme framework pro statickou analýzu, který automaticky řeší dynamické funkce, a tím umožňuje definovat přesné a spolehlivé statické analýzy podobně jako v případě, kdy program dynamické funkce neobsahuje. Aby bylo takový framework možné vytvořit, navrhujeme novou techniku heap analýzy, která modeluje asociativní pole a (prototypové) objekty. Dále navrhujeme analýzu hodnot proměnných, která zjišťuje další informace potřebné pro vypořádání se s dynamickými funkcemi. Nakonec navrhujeme techniku, která umožňuje automaticky a genericky kombinovat analýzu hodnot proměnných s heap analýzou. Powered by TCPDF (www.tcpdf.org)
|
|
|
Zásuvný modul pro prostředí Eclipse
Zaytsev, Vsevolod ; Burget, Radim (oponent) ; Sysel, Petr (vedoucí práce)
Tato bakalářská práce má za cíl vytvoření nového zásuvného modulu na základě Dynamic Language Toolkit (DLTK), do vývojového prostředí Eclipse. Teoretická část této práce se zabývá architekturou vývojového prostředí Eclipse a vysvětluje možnost jeho rozšíření o vlastní zásuvné moduly, zejména pro podporu skriptovacího jazyku Octave. Praktická část práce popisuje vytvoření nového zásuvného modulu pro prostředí Eclipse, jeho nasazení a aktivace.
|
|
|
Data Modeling for Static Analysis of Web Applications
Baštecký, Pavel ; Hauzar, David (vedoucí práce) ; Hnětynka, Petr (oponent)
PHP je velmi oblíbený jazyk, často používaný na implementaci serverové části webových aplikací. Jazyk je velmi jednoduchý na používání a i proto je na celém internetu velké množství menších stránek, ale i rozsáhlejších aplikací, napsaných v jazyce PHP. Velká obliba PHP však způsobuje, že mnoho lidí vyhledává jeho slabiny s cílem narušit bezpečnost webových aplikací. Weverca je první nástroj schopný provést komplexní bezpečnostní analýzu celé stránky napsané v moderní verzi PHP a vyhledat informace o možných bezpečnostních rizicích aplikace. Výkon nástroje Weverca je však omezen časovou a paměťovou náročností, která je způsobena neefektivitou reprezentace paměti PHP stránky. Cílem této práce je nalézt a vyřešit hlavní nedostatky původní implementace paměťového modelu. Výsledkem je nová implementace, která minimalizuje nároky původního řešení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Towards Static Analysis of Languages with Dynamic Features
Hauzar, David ; Plášil, František (vedoucí práce) ; Sinz, Carsten (oponent) ; Holík, Lukáš (oponent)
Dynamické funkce programovacích jazyků, jako je dynamický typový systém, dynamické volání funkcí, dynamické vykonávání kódu a dynamické datové struktury, poskytují flexibilitu, která urychluje vývoj. Tyto funkce ale snižují množství informací, které jsou kontrolovány v době kompilace. To má za následek nižší výkon a větší chybovost programů. Tento problém je možné vyřešit pomocí technik statické analýzy. Dynamické funkce bohužel pro tyto techniky představují překážku a zásadně omezují jejich přesnost, spolehlivost a výkonnost. Abychom tento problém pomohli vyřešit, navrhujeme framework pro statickou analýzu, který automaticky řeší dynamické funkce, a tím umožňuje definovat přesné a spolehlivé statické analýzy podobně jako v případě, kdy program dynamické funkce neobsahuje. Aby bylo takový framework možné vytvořit, navrhujeme novou techniku heap analýzy, která modeluje asociativní pole a (prototypové) objekty. Dále navrhujeme analýzu hodnot proměnných, která zjišťuje další informace potřebné pro vypořádání se s dynamickými funkcemi. Nakonec navrhujeme techniku, která umožňuje automaticky a genericky kombinovat analýzu hodnot proměnných s heap analýzou. Powered by TCPDF (www.tcpdf.org)
|
|
|
Modernizace GIS systému GRASS
Bartoň, Radek ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Geografický informační systém GRASS se stal za 26 let své existence standardem na poli modelování geografických jevů. Jeho vnitřní struktura však odpovídá době jeho vzniku. Tato práce chce navrhnout možnou podobu modernizace interních částí zavedením komponentní architektury a objektových návrhových vzorů, jakož i podporu distribuovaných výpočtů a dynamických jazyků, ale z~uživatelského pohledu chce ovládání zachovat. Výsledek návrhu je rozveden do prototypové implementace knihovny nazvané GAL Framework.
|
host ::
RSS.