|
|
Instrumentation and Evaluation for Dynamic Program Analysis
Marek, Lukáš ; Tůma, Petr (vedoucí práce) ; Hasselbring, Wilhelm (oponent) ; Krall, Andreas (oponent)
Dynamická analýza aplikací zprostředkovává důležité informace během pozdějších fází vývoje. Napomáhá při laděni, profilování, výkonnostní optimalizaci nebo při detekci bezpečnostních chyb. Nicméně, podpora pro vytváření vlastních nástrojů pro dynamickou analýzu, speciálně v oblasti řízených jazyků, je poměrně omezená. Tato práce prezentuje dva systémy, které pomáhají zlepšit sledování aplikací na platformě Java. DiSL je jazyk a framework, který umožňuje jednoduchou a flexibilní instrumentaci zaměřenou na dynamickou analýzu. DiSL poskytuje abstrakce vyšší úrovně pro rychlé prototypování i pro vývojáře, kteří nemají znalosti interních systémů v Javě. Kvalifikovaný vývojář získává plnou kontrol na instrumentačním procesem, tudíž se nemusí bát nevyžádaných alokací nebo skryté běhové režie. ShadowVM je platforma poskytující separaci mezi sledovanou aplikací a prostředím pro analýzu. Pro zmírnění interakcí mezi analýzou a aplikací, ShadowVM transportuje události analýzy mimo kontext aplikace. I když je primárním cílem platformy izolace, ShadowVM zavádí několik technik tak, aby zůstala rychlostně srovnatelná a vytvářela obobné vývojové podmínky jako existující frameworky pro dynamickou analýzu.
|
|
|
Integrated Server for Dynamic Program Analysis
Kabele, Vít ; Bulej, Lubomír (vedoucí práce) ; Horký, Vojtěch (oponent)
Dynamická analýza pomáhá při vývoji softwaru v mnoha situacích, ať už jde o debugo- vání, porozumění programu či optimalizaci výkonu. Vyvinout novou dynamickou analýzu je však netriviální úkol. Pro usnadnění vývoje dynamických analýz výzkumníci z Univerzity Karlovy ve spolu- práci s Università della Svizzera italiana v Luganu společnými silami vyvinuli frameworky DiSL a ShadowVM. Tyto frameworky zvyšují úroveň abstrakce pro vývojáře a poskytují vhodný programovací model jak pro instrumentaci bytekódu, tak pro provádění analýz. Ačkoliv tyto frameworky byly úspěšně použity při vývoji mnoha různých dynamických analýz v praxi, ukázalo se, že interní design originálních implementací obou frameworků způsobil, že jakékoliv budoucí rozšíření, jako například podpora pro "instrumentation- time reflection", bylo extrémně obtížné. Oba frameworky pracují v klient-server režimu a přestože jsou navrženy pro společné užití, design zabraňuje sdílení dat mezi oběma klientskými a oběma serverovými částmi. To nejenže zvyšuje množství dat které je potřeba přenést po síti, ale zároveň to činí konfiguraci obou částí složitější. V této práci navrhneme a implementujeme novou architekturu obou frameworků tak, že funkcionalita DiSLu i ShadowVM bude poskytována jedním serverem pro vícero kli- entů. 1
|
|
|
Instrumentation and Evaluation for Dynamic Program Analysis
Marek, Lukáš ; Tůma, Petr (vedoucí práce) ; Hasselbring, Wilhelm (oponent) ; Krall, Andreas (oponent)
Dynamická analýza aplikací zprostředkovává důležité informace během pozdějších fází vývoje. Napomáhá při laděni, profilování, výkonnostní optimalizaci nebo při detekci bezpečnostních chyb. Nicméně, podpora pro vytváření vlastních nástrojů pro dynamickou analýzu, speciálně v oblasti řízených jazyků, je poměrně omezená. Tato práce prezentuje dva systémy, které pomáhají zlepšit sledování aplikací na platformě Java. DiSL je jazyk a framework, který umožňuje jednoduchou a flexibilní instrumentaci zaměřenou na dynamickou analýzu. DiSL poskytuje abstrakce vyšší úrovně pro rychlé prototypování i pro vývojáře, kteří nemají znalosti interních systémů v Javě. Kvalifikovaný vývojář získává plnou kontrol na instrumentačním procesem, tudíž se nemusí bát nevyžádaných alokací nebo skryté běhové režie. ShadowVM je platforma poskytující separaci mezi sledovanou aplikací a prostředím pro analýzu. Pro zmírnění interakcí mezi analýzou a aplikací, ShadowVM transportuje události analýzy mimo kontext aplikace. I když je primárním cílem platformy izolace, ShadowVM zavádí několik technik tak, aby zůstala rychlostně srovnatelná a vytvářela obobné vývojové podmínky jako existující frameworky pro dynamickou analýzu.
|
host ::
RSS.