Dynamic and transparent analysis of commodity production systems

Aristide Fattori, Roberto Paleari, Lorenzo Martignoni, Mattia Monga
2010 Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10  
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
more » ... 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.
doi:10.1145/1858996.1859085 dblp:conf/kbse/FattoriPMM10 fatcat:litb6fyagvcs7pb3bc2uw6p2ru