|
|
Syscall emulation support in HelenOS
Kabele, Vít ; Horký, Vojtěch (advisor) ; Tůma, Petr (referee)
There are two main options for running a program intended for one oper- ating system on a different one. We can modify the program to use the API of the new OS. Alternatively, we can provide a compatibility layer in the new OS, transparent to the program, without changing the application. HelenOS ecosystem already allows the first. This thesis focuses on supporting the lat- ter. This thesis describes the kernel binary interface and analyses existing solutions on Linux, Windows, and specialised systems. Then we describe our prototype that transparently traps syscalls and emulates them. The emula- tion is implemented fully in userspace (except for a small kernel trampoline), and its code is executed in the context of the original application. The result allows running some of the unmodified Linux programs (focusing on GCC toolchain) on the x86_64 instance of the HelenOS system. 1
|
|
|
Integrated Server for Dynamic Program Analysis
Kabele, Vít ; Bulej, Lubomír (advisor) ; Horký, Vojtěch (referee)
Dynamic analysis aids in many software development tasks, such as debugging, pro- gram comprehension, and performance optimization. However, implementing a new dy- namic analysis tool is a non-trivial tasks. To simplify development of dynamic analyses, researchers at Charles University and Università della Svizzera italiana in Lugano have jointly developed the DiSL and Shad- owVM frameworks, which raise the level of abstraction for analysis tool developers and provide a convenient programming model both for bytecode instrumentation and for analysis execution. Even though those frameworks were successfully used to develop many different dy- namic analyses, it turned out that the internal design of the original implementation of both frameworks made further development of new features, such as support for instrumentation-time reflection, extremely difficult. Both frameworks provide a client and server part and while they are designed to be used together, the design prevents sharing of information between the two client parts and the two server parts. This not only increases the amount of data that need to be exchanged over network, but also makes configuration of all parts more difficult. In this work we propose and implement a new architecture of the analysis suite so that the functionality the functionality...
|
guest ::
