|
|
Syscall emulation support in HelenOS
Kabele, Vít ; Horký, Vojtěch (vedoucí práce) ; Tůma, Petr (oponent)
Existují dva hlavní způsoby jak na jednom operačním systému spustit program určený pro jiný operační systém. Jedním z nich je modifikace samot- ného softwaru či jeho části pro cílové API. Druhý staví na poskytnutí vrstvy kompatibility transparentní z pohledu aplikace, tak aby aplikace nemusela být modifikována. První zmíněné již HelenOS umí, druhé realizujeme v této práci. Práce obsahuje popis binárního rozhraní kernelu a analýzu existujících řešení na Linuxu, Windowsu a dalších systémech. Zároveň popisuje imple- mentaci, která transparentně emuluje syscally. Emulace je implementovaná v userspace, s vyjímkou malé "trampolíny" v kernelu, a běží v kontextu emulo- vané aplikace. Výsledek umožňuje spouštění řady Linuxových utilit včetně GCC na platformě x86_64 v systému HelenOS. 1
|
|
|
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
|
host ::
RSS.