Computer Science – Operating Systems
Scientific paper
2010-06-30
Computer Science
Operating Systems
10 pages, To appear in the 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, 20-24 S
Scientific paper
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for virtualization available nowadays on all commodity machines, our framework is completely transparent to the system under analysis and it guarantees isolation of the analysis tools running on its top. Thus, the internals of the kernel of the running system needs not to be modified and the whole platform runs unaware of the framework. Moreover, errors in the analysis tools do not affect the running system and the framework. This is accomplished by installing a minimalistic virtual machine monitor and migrating the system, as it runs, into a virtual machine. In order to demonstrate the potentials of our framework we developed an interactive kernel debugger, nicknamed HyperDbg. HyperDbg can be used to debug any critical kernel component, and even to single step the execution of exception and interrupt handlers.
Fattori Aristide
Martignoni Lorenzo
Monga Mattia
Paleari Roberto
No associations
LandOfFree
Dynamic and Transparent Analysis of Commodity Production Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Dynamic and Transparent Analysis of Commodity Production Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic and Transparent Analysis of Commodity Production Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-153918