Dynamic and transparent analysis of commodity production systems

ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2010, Pages 417-426

  Fattori, Aristide ^a   Paleari, Roberto ^a   Martignoni, Lorenzo ^b   Monga, Mattia ^a  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Debugging; Hardware virtualization; System analysis

Indexed keywords

ANALYSIS TOOLS; COMPLEX DYNAMIC SYSTEMS; DEBUGGING; HARDWARE SUPPORTS; KERNEL COMPONENTS; KERNEL DEBUGGER; PRODUCTION SYSTEM; PROGRAMMING INTERFACE; RUNNING SYSTEMS; SINGLE-STEP; SYSTEM ANALYSIS; VIRTUAL MACHINE MONITORS; VIRTUAL MACHINES; VIRTUALIZATIONS;

COMPUTER DEBUGGING; COMPUTER SIMULATION; PRODUCTION ENGINEERING; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

PROGRAM DEBUGGING;

EID: 78649799019     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1858996.1859085     Document Type: Conference Paper

References (22)

1. AMD, Inc. AMD virtualization. http://www.amd.com/us/products/ technologies/virtualization/Pages/virtualization.aspx
2. B. Cantrill, M. W. Shapiro, and A. H. Leventhal. Dynamic Instrumentation of Production Systems. In Proceedings of USENIX Annual Technical Conference, pages 15-28, June 2004
3. J. Chow, T. Garfinkel, and P. Chen. Decoupling Dynamic Program Analysis from Execution in Virtual Environments. In Proceedings of USENIX Annual Technical Conference, pages 1-14, June 2008
4. Y. Coady, G. Kiczales, M. Feeley, and G. Smolyn. Using AspectC to improve the modularity of path-specific customization in operating system code. In Proceedings of the 8th European Software Engineering Conference, pages 88-98, 2001
5. Y. Coady, G. Kiczales, M. J. Feeley, N. C. Hutchinson, and J. S. Ong. Structuring Operating System Aspects. Communications of the ACM, 44(10):79-82, 2001
6. A. Dinaburg, P. Royal, M. Sharif, and W. Lee. Ether: Malware Analysis via Hardware Virtualization Extensions. In Proceedings of the 15th ACM Conference on Computer and Communications Security, pages 51-62. ACM, 2008
7. G. W. Dunlap, S. T. King, S. Cinar, M. A. Basrai, and P. M. Chen. ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay. In OSDI '02: 5th Symposium on Operating Systems Design and Implementations, December 2002
8. M. Engel and B. Freisleben. TOSKANA: A toolkit for operating system kernel aspects. Transactions on Aspect-Oriented Software Development II, 4242:182-226, 2006
9. T. Garfinkel and M. Rosenblum. A Virtual Machine Introspection Based Architecture for Intrusion Detection. In Proceedings of the Symposium on Network and Distributed Systems Security, San Diego, CA, Feb. 2003
10. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In Proceedings of USENIX Annual Technical Conference, pages 71-84, April 2005
11. Linux Trace Toolkit. http://lttng.org/
12. D. Mahrenholz, O. Spinczyk, A. Gal, and W. Schréder-Preikschat. An Aspect-Oriented Implementation of Interrupt Synchronization in the PURE Operating System Family. In Proceedings of the 5th ECOOP Workshop on Object Orientation and Operating Systems, pages 49-54, June 2002
13. D. Mahrenholz, O. Spinczyk, and W. Schréder-Preikschat. Program Instrumentation for Debugging and Monitoring with AspectC++. In Symposium on Object-Oriented Real-Time Distributed Computing, pages 249-256, April 2002
14. Microsoft Corporation. Debugging Tools for Windows. http://www.microsoft. com/whdc/devtools/debugging/default.mspx
15. G. Neiger, A. Santoni, F. Leung, D. Rodgers, and R. Uhlig. Intel Virtualization Technology: Hardware Support for Efficient Processor Virtualization. Intel Technology Journal, 10(3):167-177, August 2006
16. G. Pothier and E. Tanter. Back to the future: Omniscient debugging. IEEE Software, 26:78-85, 2009
17. Rasta ring 0 debugger. http://rr0d.droids-corp.org/
18. SoftICE. http://en.wikipedia.org/wiki/SoftICE
19. Syser Kernel Debugger. http://www.sysersoft.com/
20. A. Tamches. Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels. PhD thesis, University of Wisconsin-Madison, 2001
21. A. Vasudevan and R. Yerraballi. Stealth Breakpoints. In 21st Annual Computer Security Applications Conference, pages 381-392, 2005
22. M. Xu, V. Malyugin, J. Sheldon, G. Venkitachalam, and B. Weissman. ReTrace: Collecting execution trace with virtual machine deterministic replay. In Proceedings of the 3rd Annual Workshop on Modeling Benchmarking and Simulation, 2007.