Flexible hardware acceleration for instruction-grain program monitoring

Proceedings - International Symposium on Computer Architecture

Volumn , Issue , 2008, Pages 377-388

  Chen, Shimin ^a   Kozuch, Michael ^a   Strigkos, Theodoros ^b   Falsafi, Babak ^c   Gibbons, Phillip B ^a   Mowry, Todd C ^a,b   Ramachandran, Vijaya ^d   Ruwase, Olatunji ^b   Ryan, Michael ^a   Vlachos, Evangelos ^b  

^a INTEL CORPORATION   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c EPFL   (Switzerland)

^d UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY INSTRUMENTATION; COMMON SOURCES; DATA-RACE DETECTION; DETECTING BUGS; DYNAMIC BINARY INSTRUMENTATION; HARDWARE ACCELERATIONS; IDEMPOTENT; INTERNATIONAL SYMPOSIUM; MONITORING TOOLS; PROGRAM MONITORING; SECURITY ATTACKS; SECURITY TRACKING;

BINARY SEQUENCES; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER SCIENCE; COMPUTER SYSTEMS; COMPUTERS; GRAIN (AGRICULTURAL PRODUCT); HARDWARE; INSTRUMENTS; METADATA; PROGRAM DEBUGGING;

SECURITY OF DATA;

EID: 52649155221     PISSN: 10636897     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISCA.2008.20     Document Type: Conference Paper

References (42)

1. D. Bruening. Efficient, transparent, and comprehensive runtime code manipulation. PhD thesis, MIT, 2004.
2. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice and Experience, 30(7), 2000.
3. S. Chen, B. Falsafi, P. B. Gibbons, M. Kozuch, T. C. Mowry, R. Teodorescu, A. Ailamaki, L. Fix, G. R. Ganger, B. Lin, and S. W. Schlosser. Log-based architectures for general-purpose monitoring of deployed code. In ASID Workshop at ASPLOS, 2006.
4. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In SOSP, 2001.
5. M. L. Corliss, E. C. Lewis, and A. Roth. DISE: A programmable macro engine for customizing applications. In ISCA, 2003.
6. C. Cowan, C. Pu, D. Maier, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, Q. Zhang, and H. Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In USENIX Security, 1998.
7. J. R. Crandall and F. T. Chong. Minos: Control data attack prevention orthogonal to memory model. In MICRO, 2004.
8. M. Dalton, H. Kannan, and C. Kozyrakis. Raksha: A flexible information flow architecture for software security. In ISCA, 2007.
9. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI, 2000.
10. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE TSE, 27(2), 2001.
11. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In PLDI, 2002.
12. S. A. Hofmeyr, S. Forrest, and A. Somayaji. Intrusion detection using sequences of system calls. J. of Computer Security, 6(3), 1998.
13. G. Kane and J. Heinrich. MIPS RISC Architecture. Prentice-Hall, 1992.
14. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazeiwood. Pin: Building customized program analysis tools with dynamic instrumentation. In PLDI, 2005.
15. S. Narayanasamy, G. Pokam, and B. Calder. BugNet: Continuously recording program execution for deterministic replay debugging. In ISCA, 2005.
16. National Center for Biotechnology Information (NCBI). Basic local alignment search tool (BLAST), ftp://ftp.ncbi.nih.gov/blast/.
17. N. Nethercote. Dynamic binary analysis and instrumentation. PhD thesis, U. Cambridge, 2004. http://valgrind.org.
18. N. Nethercote and J. Seward. Valgrind: A program supervision framework. Electronic Notes in Theoretical Computer Science, 89(2), 2003.
19. N. Nethercote and J. Seward. How to shadow every byte of memory used by a program. In VEE, 2007.
20. N. Nethercote and J. Seward. Valgrind: A framework for heavy weight dynamic binary instrumentation. In PLDI, 2007.
21. J. Newsome and D. Song. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In NDSS, 2005.
22. Parallel Bzip2. http://compression.ca/pbzip2/.
23. Princeton Zchaff. http://www.princeton.edu/~chaff/zchaff.html.
24. N. Provos. Improving host security with system call policies. In USENIX Security, 2003.
25. F. Qin, C.Wang, Z. Li, H. Kim, Y. Zhou, and Y. Wu. LIFT: A lowoverhead practical information flow tracking system for detecting security attacks. In MICRO, 2006.
26. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: Treating bugs as allergies - a safe method to survive software failures. In SOSP, 2005.
27. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic race detector for multi-threaded programs. ACM TOCS, 15(4), 1997.
28. R. Shetty, M. Kharbutli, Y. Solihin, and M. Prvulovic. Heapmon: A helper-thread approach to programmable, automatic, and low-overhead memory bug detection. IBM J. on Research and Development, 50(2/3), 2006.
29. W. Shi, H.-H. S. Lee, L. Falk, and M. Ghosh. An integrated framework for dependable and revivable architectures using multicore processors. In ISCA, 2006.
30. G. E. Suh, J. W. Lee, D. Zhang, and S. Devadas. Secure program execution via dynamic information flow tracking. In ASPLOS, 2004.
31. The MITRE Corporation. Common vulnerabilities and exposures (CVE). http://cve.mitre.org/.
32. J. Tucek, S. Lu, C. Huang, S. Xanthos, and Y. Zhou. Triage: Diagnosing production run failures at the user's site. In SOSP, 2007.
33. G.-R. Uh, R. Cohn, B. Yadavalli, R. Peri, and R. Ayyagari. Analyzing dynamic binary instrumentation overhead. In WBIA Workshop at ASPLOS, 2006.
34. G. Venkataramani, I. Doudalis, Y. Solihin, and M. Prvulovic. Flexi-Taint: A programmable accelerator for dynamic taint propagation. In HPCA, 2008.
35. G. Venkataramani, B. Roemer, Y. Solihin, and M. Prvulovic. MemTracker: Efficient and programmable support for memory access monitoring and debugging. In HPCA, 2007.
36. Virtutech Simics. http://www.virtutech.com/.
37. J. Wilander and M. Kamkar. A comparison of publicly available tools for dynamic buffer overflow prevention. In NDSS, 2003.
38. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The SPLASH-2 programs: Characterization and methodological considerations. In ISCA, 1995.
39. M. Xu, R. Bodik, and M. D. Hill. A 'Flight Data Recorder' for enabling full-system multiprocessor deterministic replay. In ISCA, 2003.
40. M. Xu, R. Bodik, and M. D. Hill. A regulated transitive reduction (RTR) for longer memory race recording. In ASPLOS, 2006.
41. P. Zhou, R. Teodorescu, and Y. Zhou. HARD: Hardware-assisted lockset-based race detection. In HPCA, 2007.
42. Y. Zhou, P. Zhou, F. Qin, W. Liu, and J. Torrellas. Efficient and flexible architectural support for dynamic monitoring. ACM TACO, 2(1), 2005.