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 top of it. 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, named HyperDdg. HyperDbg can be used to debug any critical kernel component, and even to single step the execution of exception and interrupt handlers.
Dynamic and transparent analysis of commodity production systems / A. Fattori, R. Paleari, L. Martignoni, M. Monga - In: ASE 10 : proceedings of the IEEE/ACM international conference on automated software engineering, september 20-24, 2010, Antwerp, BelgiumNew York, USA : ACM, 2010. - ISBN 9781450301169. - pp. 417-426 (( Intervento presentato al 25. convegno International Conference on Automated Software Engineering tenutosi a Antwerp, Belgium nel 2010.
|Titolo:||Dynamic and transparent analysis of commodity production systems|
|Parole Chiave:||software engineering ; virtualization ; debug ; operating systems|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||2010|
|Enti collegati al convegno:||ACM|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1145/1858996.1859085|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|