Execution mining

ACM SIGPLAN Notices

Volumn 47, Issue 7, 2012, Pages 145-157

  Lefebvre, Geoffrey ^a   Cully, Brendan ^a   Head, Christopher ^a   Spear, Mark ^a   Hutchinson, Norm ^a   Feeley, Mike ^a   Warfield, Andrew ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Binary analysis; Offline analysis; Semantic gap; Virtual machine

Indexed keywords

BINARY ANALYSIS; COMPLEX SOFTWARE; DATA FLOW; OFF-LINE ANALYSIS; SEMANTIC GAP; SOURCE CODES; STATIC REPRESENTATION; VIRTUAL MACHINES;

SEMANTICS;

SOFTWARE TESTING;

EID: 84878480816     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2365864.2151044     Document Type: Conference Paper

References (39)

1. C/C++ trace-based debugger based on chronicle and eclipse. http://code.google.com/p/chronomancer/.
2. Vassert programming guide. http://www.vmware.com/pdf/ws65 vassert programming.pdf.
3. Replay debugging on linux. http://www.vmware.com/pdf/ws7 replay linux technote.pdf.
4. H. Agrawal and J. R. Horgan. Dynamic program slicing. In PLDI '90.
5. F. Bellard. QEMU, a fast and portable dynamic translator. In USENIX Annual Technical Conference, 2005.
6. S. Bhansali, W.-K. Chen, S. de Jong, A. Edwards, R. Murray, M. Drinić, D. Mihočka, and J. Chau. Framework for instruction-level tracing and analysis of program executions. In VEE '06.
7. P. P. Bungale and C.-K. Luk. Pinos: a programmable framework for whole-system dynamic instrumentation. In Virtual execution environments, 2007. ISBN 978-1-59593-630-1.
8. J.-D. Choi, B. P. Miller, and R. H. B. Netzer. Techniques for debugging parallel programs with flowback analysis. ACM Transactions on Programming Languages and Systems, 13, 1991. URL http://doi. acm.org/10.1145/115372.115324.
9. J. Chow, B. Pfaff, T. Garfinkel, K. Christopher, and M. Rosenblum. Understanding data lifetime via whole system simulation. In USENIX Security Symposium, 2004. URL http://portal.acm. org/citation.cfm?id=1251375.1251397.
10. J. Chow, T. Garfinkel, and P. M. Chen. Decoupling dynamic program analysis from execution in virtual environments. In USENIX Annual Technical Conference, 2008.
11. 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 Operating Systems Design and Implementation, 2002.
12. S. Goldsmith, R. O'Callahan, and A. Aiken. Relational queries over program traces. In Object-Oriented Programming, Systems, Languages, and Applications, 2005.
13. D. R. Hower and M. D. Hill. Rerun: Exploiting episodes for lightweight memory race recording. In International Symposium on Computer Architecture, 2008. URL http://dx.doi.org/10.1109/ISCA.2008.26.
14. A. Joshi, S. T. King, G. W. Dunlap, and P. M. Chen. Detecting past and present intrusions through vulnerability-specific predicates. In Symposium on Operating Systems Principles, 2005. URL http://doi.acm.org/10.1145/1095810. 1095820.
15. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX Annual Technical Conference, 2005.
16. E. Kohler, R. Morris, B. Chen, J. Jannotti, and F. M. Kaashoek. The Click modular router. ACM Transactions on Computer Systems, 2000.
17. K. P. Lawton. Bochs: A portable PC emulator for unix/x. Linux Journal. ISSN 1075-3583.
18. G. Lefebvre, B. Cully, M. J. Feeley, N. C. Hutchinson, and A. Warfield. Tralfamadore: Unifying source code and execution experience (short paper). In Euro Sys, 2009.
19. B. Lewis. Debugging backwards in time. In Workshop on Automated Debugging, 2003.
20. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: building customized program analysis tools with dynamic instrumentation. In Programming Language Design and Implementation, 2005.
21. M. Martin, B. Livshits, and M. S. Lam. Finding application errors and security flaws using pql: a program query language. In Object-Oriented Programming, Systems, Languages, and Applications, 2005.
22. P. Montesinos, L. Ceze, and J. Torrellas. DeLorean: Recording and deterministically replaying shared-memory multiprocessor execution efficiently. In International Symposium on Computer Architecture, 2008. URL http://dx.doi.org/10.1109/ISCA.2008.36.
23. S. Mysore, B. Mazloom, B. Agrawal, and T. Sherwood. Understanding and visualizing full systems with data flow tomography. In Architectural Support for Programming Languages and Operating Systems, 2008.
24. N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In Programming Language Design and Implementation, 2007.
25. M. Olszewski, K. Mierle, A. Czajkowski, and A. D. Brown. JIT instrumentation: a novel approach to dynamically instrument operating systems. In Euro Sys, 2007. URL http://doi.acm.org/10.1145/1272996.1273000.
26. S. Park, Y. Zhou, W. Xiong, Z. Yin, R. Kaushik, K. H. Lee, and S. Lu. PRES: probabilistic replay with execution sketching on multiprocessors. In Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pages 177-192, New York, NY, USA, 2009. ACM. ISBN 978-1-60558-752-3. doi: http://doi.acm.org/10.1145/1629575.1629593. URL http://doi.acm.org/10.1145/ 1629575.1629593.
27. H. Patil, C. Pereira, M. Stallcup, G. Lueck, and J. Cownie. Pin Play: a framework for deterministic replay and reproducible analysis of parallel programs. In Code Generation and Optimization, 2010. URL http://doi.acm.org/10. 1145/1772954.1772958.
28. V. Paxson. Bro: a system for detecting network intruders in real-time. Computer Networks, 31(23-24), 1999.
29. G. Pothier, E. Tanter, and J. Piquer. Scalable omniscient debugging. In Object-Oriented Programming, Systems, Languages, and Applications, 2007.
30. F. Reiss, K. Stockinger, K. Wu, A. Shoshani, and J. M. Hellerstein. Enabling real-time querying of live and historical stream data. In Scientific and Statistical Database Management, 2007.
31. M. Rosenblum, S. A. Herrod, E. Witchel, and A. Gupta. Complete computer system simulation: The SimOS approach. IEEE Parallel and Distributed Technology, 3, 1995. URL http://dx.doi.org/10. 1109/88.473612.
32. M. Rosenblum, E. Bugnion, S. Devine, and S. A. Herrod. Using the SimOS machine simulator to study complex computer systems. ACM Transactions on Modeling and Computer Simulation, 7, 1997. URL http://doi.acm.org/10.1145/ 244804.244807.
33. D. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M. G. Kang, Z. Liang, N. James, P. Poosankam, and P. Saxena. Bit Blaze: A new approach to computer security via binary analysis. In International Conference on Information Systems Security, 2008. doi: http://dx.doi. org/10.1007/978-3-540- 89862-7 1. URL http://dx.doi.org/10.1007/978-3-540-89862-7-1.
34. K. Veeraraghavan, D. Lee, B. Wester, J. Ouyang, P. M. Chen, J. Flinn, and S. Narayanasamy. Double Play: parallelizing sequential logging and replay. In Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems, ASPLOS '11, pages 15-26, New York, NY, USA, 2011. ACM. ISBN 978-1-4503-0266-1. doi: http://doi.acm.org/10. 1145/1950365.1950370. URL http://doi.acm.org/10.1145/1950365. 1950370.
35. K. Vonnegut. Slaughterhouse Five. Delacorte, 1969. ISBN 0-385-31208-3.
36. M. Weiser. Program slicing. In International Conference on Software Engineering, 1981.
37. M. Xu, R. Bodik, and M. D. Hill. A "flight data recorder" for enabling full-system multiprocessor deterministic replay. In International Symposium on Computer Architecture, 2003.
38. M. Xu, V. Malyugin, J. Sheldon, G. Venkitachalam, and B. Weissman. Retrace: Collecting execution trace with virtual machine deterministic replay. In Modeling, Benchmarking and Simulation, 2007.
39. X. Zhang and R. Gupta. Whole execution traces and their applications. ACM Transactions on Architecture and Code Optimization, 2, 2005. URL http://doi.acm.org/10.1145/1089008.1089012