2010 · 51 citations · 15 references
EngineeringIndustrial EngineeringCritical Kernel ComponentComputer ArchitectureSoftware EngineeringSoftware AnalysisHardware SecurityHardware VirtualizationSystems EngineeringLogisticsProduction TechnologyVirtual MachineComputer EngineeringVirtualization SupportSupply Chain ManagementComputer ScienceDebuggerProduction ControlDeployed Production SystemsProduction PlanningProgram AnalysisSoftware TestingBusinessVirtualization ToolInteractive Kernel DebuggerSystem SoftwareTransparent Analysis
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 HyperDbg. HyperDbg can be used to debug any critical kernel component, and even to single step the execution of exception and interrupt handlers.
15
A Virtual Machine Introspection Based Architecture for Intrusion Detection.
Tal Garfinkel, Mendel Rosenblum · 2003 · 1.3K citations
George W. Dunlap, Samuel T. King, Sukru Cinar et al. · ACM SIGOPS Operating Systems Review · 2002 · 801 citations
Artem Dinaburg, Paul Royal, Monirul Sharif et al. · 2008 · 657 citations
Dynamic instrumentation of production systems
Bryan Cantrill, Michael W. Shapiro, Adam Leventhal · 2004 · 434 citations
Debugging operating systems with time-traveling virtual machines
Samuel T. King, George W. Dunlap, Peter M. Chen · 2005 · 334 citations