MemTracker: An accelerator for memory debugging and monitoring

Transactions on Architecture and Code Optimization

Volumn 6, Issue 2, 2009, Pages

  Venkataramani, Guru ^a   Doudalis, Ioannis ^b   Solihin, Yan ^c   Prvulovic, Milos ^a  

^a Georgia Institute of Technology   (United States)

^b GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^c NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Accelerator; Debugging; Memory access monitoring

Indexed keywords

ACCELERATOR; BENCHMARK SUITES; COMPUTATIONAL RESOURCES; DEBUGGING; HARDWARE SUPPORTS; IMPLEMENTATION COST; LOW OVERHEAD; MEMORY ACCESS; MEMORY ACCESS MONITORING; NUMBER OF STATE; PRODUCTION RUN; SECURITY VULNERABILITIES; SOFTWARE COMPLEXITY; STATE TRANSITIONS; TRANSITION TABLE;

COMPUTER SOFTWARE; SECURITY OF DATA;

PROGRAM DEBUGGING;

EID: 68549125205     PISSN: 15443566     EISSN: 15443973     Source Type: Journal    
DOI: 10.1145/1543753.1543754     Document Type: Article

References (33)

1. AKRITIDIS, P., CADAR, C., RAICIU, C., COSTA, M., AND CASTRO, M. 2008. Preventing memory error exploits with wit. In Proceedings of the IEEE Symposium on Security and Privacy (SP'08). IEEE Computer Society, 263-277.
2. BOLETTA, J. 2002. Security Focus Newsletter #172. http://citadelle.intrinsec.com/mailing/current/HTML/ml-securityfocus-news/0067. html.
3. CHEN, S., KOZUCH, M., STRIGKOS, T., FALSAFI, B., GIBBONS, P. B., MOWRY, T. C., RAMACHANDRAN, V., RUWASE, O., RYAN, M., AND VLACHOS, E. 2008. Flexible hardware acceleration for instructiongrain program monitoring. In Proceedings of the 35th International Symposium on Computer Architecture (ISCA'08). IEEE Computer Society, 377-388.
4. CORLISS, M. L., LEWIS, E. C., AND ROTH, A. 2003. Dise: A programmable macro engine for customizing applications. In Proceedings of the 30th Annual International Symposium on Computer Architecture (ISCA'03). ACM Press, 362-373.
5. COWAN, C., PU, C., MAIER, D., WALPOLE, J., BAKKE, P., BEATTIE, S., GRIER, A., WAGLE, P., ZHANG, Q., AND HINTON, H. 1998. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proceedings of the 7th USENIX Security Conference. USENIX Association, 63-78.
6. CRANDALL, J. R. AND CHONG, F. T. 2004. Minos: control data attack prevention orthogonal to memory model. In Proceedings of the 37th International Symposium on Micro-architecture (MICRO-37). IEEE Computer Society, 221-232.
7. DEVIETTI, J., BLUNDELL, C., MARTIN, M. M. K., AND ZDANCEWIC, S. 2008. Hardbound: Architectural support for spatial safety of the c programming language. SIGARCH Comput. Archit. News 36, 1, 103-114.
8. HINTON, G., SAGER, D., UPTON, M., BOGGS, D., CARMEAN, D., KYKER, A., AND ROUSSEL, P. 2001. The micro-architecture of the Pentium 4 Processor. Intel. Tech. J. First Quarter.
9. IBM CORPORATION. 2005. IBM Rational Purify. http://www.ibm.com/ software/awdtools/purify/.
10. JOUPPI, N. P. ET AL. 2006. Cacti 4.2. http://quid.hpl.hp.com:9081/cacti/
11. KUEHN, J. T. AND SMITH, B. J. 1988. The horizon super-computing system: Architecture and software. In Proceedings of the ACM/IEEE Conference on Super-computing. IEEE, 28-34.
12. MCDONALD, R. G., BURGER, D., ANDKECKLER,S. 2005. The design and implementationofthe TRIPS prototype chip. http://www.hotchips.org/archives/hc17.
13. NETHERCOTE, N. AND SEWARD, J. 2007. How to shadow every byte of memory used by a program. In Proceedings of the 3rd International Conference on Virtual Execution Environments (VEE'07). ACM, 65-74.
14. NEWSOME, J. AND SONG, D. 2005. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In Proceedings of the 12th Annual Network and Distributed System Security Symposium (NDSS). Internet Society.
15. QIN, F., LU, S., AND ZHOU, Y. 2005. SafeMem: Exploiting ECC-memory for detecting memory leaks and memory corruption during production runs. In Proceedings of the 11th International Symposium on High-performance Computer Architecture. IEEE Computer Society, 291-302.
16. QIN, F., QIN, F.,WANG, C., LI, Z., SEOP KIM, H., ZHOU, Y.,WU, Y., AND WU, Y. 2006. Lift: A low-overhead practical information flow tracking system for detecting security attacks. In Proceedings of the 39th Annual IEEE/ACM International Symposium on Micro-architecture (MICRO-39). IEEE Computer Society, 135-148.
17. RENAU, J. ET AL. 2006. SESC. http://sesc.sourceforge. net.
18. SEWARD, J. 2004. Valgrind: An open-source memory debugger for 86-GNU/Linux. http://valgrind.kde.org/.
19. SHETTY, R., KHARBUTLI, M., SOLIHIN, Y., AND PRVULOVIC, M. 2006. Heapmon: A helper-thread approach to programmable, automatic, and low-overhead memory bug detection. IBM J. Res. Dev. 50, 2/3, 261-275.
20. SHI, W., LU, C., AND LEE, H.-H. S. 2007. Memory centric security architecture. Trans. Highperform. Embed. Archit. Compilers I 4050, 1, 95-115.
21. SPEC. 2006. Standard performance evaluation corporation benchmarks. http://www.spec.org.
22. SUH, G. E., LEE, J. W., ZHANG, D., AND DEVADAS, S. 2004. Secure program execution via dynamic information flow tracking. In Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XI). ACM, 85-96.
23. SYMANTEC. 2002. Microsoft IIS HTR chunked encoding heap overflow allows arbitrary code. http://securityresponse.symantec.com/avcenter/security/ Content/2033.html.
24. US-CERT. 2001. FedCIRC Advisory FA-2001-19 "code red" worm exploiting buffer overflow in IIS indexing service DLL. http://www.us-cert.gov/ federal/archive/advisories/FA-2001-19.html.
25. US-CERT. 2004. Buffer overflow in Microsoft Internet Explorer. http://www.us-cert.gov/cas/techalerts/TA04315A.html.
26. VALGRIND DEVELOPERS. 2005. The Valgrind Quick Start Guide. http://valgrind.org/docs/manual/quickstart.html.
27. VENKATARAMANI, G., DOUDALIS, I., SOLIHIN, Y., AND PRVULOVIC, M. 2008. Flexitaint: A programmable accelerator for dynamic taint propagation. In Proceedings of the IEEE 14th International Symposium on High-performance Computer Architecture (HPCA'08). IEEE Computer Society, 173-184.
28. VENKATARAMANI, G., ROEMER, B., SOLIHIN, Y., AND PRVULOVIC, M. 2007. Memtracker: Efficient and programmable support for memory access monitoring and debugging. In Proceedings of the IEEE 13th International Symposium on High-performance Computer Architecture (HPCA'07). IEEE Computer Society, 273-284.
29. WITCHEL, E., CATES, J., AND ASANOVIC, K. 2002. Mondrian memory protection. In Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X). ACM Press, 304-316.
30. WOO, S. C., OHARA, M., TORRIE, E., SINGH, J. P., AND GUPTA, A. 1995. The splash-2 programs: Characterization and methodological considerations. In Proceedings of the 22nd Annual International Symposium on Computer Architecture (ISCA'95). ACM, 24-36.
31. ZHOU, P., LIU, W., FEI, L., LU, S., QIN, F., ZHOU, Y., MIDKIFF, S., AND TORRELLAS, J. 2004. Accmon: Automatically detecting memory-related bugs via program counter-based invariants. In Proceedings of the 37th Annual IEEE/ACM International Symposium on Micro-architecture (MICRO-37). IEEE Computer Society, 269-280.
32. ZHOU, P., QIN, F., LIU, W., ZHOU, Y., AND TORRELLAS, J. 2004. iwatcher: Efficient architectural support for software debugging. In Proceedings of the 31st Annual International Symposium on Computer Architecture (ISCA'04). IEEE Computer Society, 224.
33. ZHOU, Y., ZHOU, P., QIN, F., LIU, W., AND TORRELLAS, J. 2005. Efficient and flexible architectural support for dynamic monitoring. ACM Trans. Archit. Code Optim. 2, 1, 3-33.