First-aid: Surviving and preventing memory management bugs during production runs

Proceedings of the 4th ACM European Conference on Computer Systems, EuroSys'09

Volumn , Issue , 2009, Pages 159-172

  Gao, Qi ^a   Zhang, Wenbin ^a   Tang, Yan ^a   Qin, Feng ^a  

^a The Ohio State University   (United States)

Author keywords

Error prevention; Memory bug diagnosis; Software failure; Software reliability

Indexed keywords

BUFFER OVERFLOWS; DANGLING POINTERS; DIAGNOSTIC INFORMATION; DIAGNOSTIC REPORT; ENVIRONMENTAL CHANGE; ERROR PREVENTION; LOW OVERHEAD; MEMORY BUG DIAGNOSIS; MEMORY MANAGEMENT; PRODUCTION RUN; RE-EXECUTION; ROOT CAUSE; RUNTIME SYSTEMS; RUNTIMES; SOFTWARE FAILURE; SYSTEM AVAILABILITY;

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; PROGRAM DEBUGGING; QUALITY ASSURANCE; SOFTWARE RELIABILITY;

PROGRAM DIAGNOSTICS;

EID: 70349129410     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1519065.1519083     Document Type: Conference Paper

References (44)

1. H. Agrawal, R. A. DeMillo, and E. H. Spafford. An execution-backtracking approach to debugging. IEEE Software., 8(3):21-26, 1991.
2. W. A. Arbaugh, W. L. Fithen, and J. McHugh. Windows of vulnerability: A case study analysis. Computer, 33 (12):52-59, 2000.
3. E. D. Berger, K. S. McKinley, R. D. Blumofe, and P. R. Wilson. Hoard: A scalable memory allocator for multithreaded applications. In Proceedings of Intl. Conf. on Architectural support for programming languages and operating systems (ASPLOS'00), pages 117-128, 2000.
4. E. D. Berger and B. G. Zorn. DieHard: Probabilistic memory safety for unsafe languages. In Proceedings of ACM SIGPLAN conference on Programming language design and implementation (PLDI'06), pages 158-168, 2006.
5. A. Bobbio and M. Sereno. Fine grained software rejuvenation models. In Intl. Computer Performance and Dependability Symposium (ICPDS '98), pages 4-12, 1998.
6. M. D. Bond and K. S. McKinley. Tolerating memory leaks. In Proceedings of Intl. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '08), pages 109-126, Oct. 2008.
7. D. Brumley, H. Wang, S. Jha, and D. Song. Creating vulnerability signatures using weakest pre-conditions. In Proceedings of Computer Security Foundations Symposium (CSF'07), pages 311-325, Venice, Italy, 2007.
8. G. Candea, J. Cutler, A. Fox, R. Doshi, P. Garg, and R. Gowda. Reducing recovery time in a small recursively restartable system. In Proceedings of Intl. Conf. on Dependable Systems and Networks (DSN'02), pages 605-614, 2002.
9. G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot - A technique for cheap recovery. In Proceedings of Symposium on Operating System Design and Implementation (OSDI'04), pages 31-44, 2004.
10. M. Costa, M. Castro, L. Zhou, L. Zhang, and M. Peinado. Bouncer: Securing software by blocking bad input. In Proceedings of ACM SIGOPS symposium on Operating systems principles (SOSP'07), pages 117-130, 2007.
11. B. Cully, G. Lefebvre, D. T. Meyer, A. Karollil, M. J. Feeley, N. C. Hutchinson, and A. Warfield. Remus: High availability via asynchronous virtual machine replication. In Proceedings of Symposium on Networked Systems Design and Implementation (NSDI'08), pages 161-174, Apr 2008.
12. S. Garg, A. Puliaflto, M. Telek, and K. S. Trivedi. On the analysis of software rejuvenation policies. In Proceedings of the Annual Conference on Computer Assurance (CA'97), pages 88-96, 1997.
13. GNU. Gdb: The GNU project debugger.
14. J. Gray. Why do computers stop and what can be done about it? In Proceedings of Symposium on Reliable Distributed Systems (RDS' 86), pages 3-12, 1986.
15. W. Gu, Z. Kalbarczyk, R. K. Iyer, and Z. Yang. Characterization of Linux kernel behavior under errors. In Proceedings of Intl. Conf. on Dependable Systems and Networks (DSN'03), pages 459-468, Jun 2003.
16. R. Hasting and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the USENIX Winter 1992 Technical Conference, pages 125-136, Dec 1992.
17. Y. Huang, C. Kintala, N. Kolettis, and N. D. Fulton. Software rejuvenation: Analysis, module and applications. In Proceedings of International Symposium on Fault-Tolerant Computing (FTC'95), pages 381-390, Jun 1995.
18. H. Jula, D. Tralamazza, C. Zamflr, and G. Candea. Deadlock immunity: Enabling systems to defend against deadlocks. In Proceedings of Symposium on Operating System Design and Implementation (OSDI'08), pages 295-308, Dec 2008.
19. 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 (USENIX'05), pages 1-15, 2005.
20. D. Lea. A Memory Allocator, 1996.
21. D. E. Lowell and P. M. Chen. Discount checking: Transparent, low-overhead recovery for general applications. Technical report, CSE-TR-410-99, University of Michigan, 1998.
22. C. 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 Proceedings of Programming language design and implementation (PLDI'05), pages 190-200, 2005.
23. V. B. Lvin, G. Novark, E. D. Berger, and B. G. Zorn. Archipelago: Trading address space for reliability and security. In Proceedings of Intl. Conf. on Architectural support for programming languages and operating systems (ASPLOS'08), pages 115-124, 2008.
24. G. Misherghi and Z. Su. HDD: Hierarchical delta debugging. In Proceedings of the Intl. Conf. on Software engineering (ICSE'06), pages 142-151, 2006.
25. N. Nethercote and J. Seward. Valgrind: A framework for heavyweight dynamic binary instrumentation. In Proceedings of ACM conference on Programming language design and implementation (PLDI'07), pages 89-100, 2007.
26. G. Novark, E. D. Berger, and B. G. Zorn. Exterminator: Automatically correcting memory errors with high probability. In Proceedings of ACM SIGPLAN conference on Programming language design and implementation (PLDI'07), pages 1-11, 2007.
27. S. Osman, D. Subhraveti, G. Su, and J. Nieh. The design and implementation of Zap: A system for migrating computing environments. In Symposium on Operating systems design and implementation (OSDI'02), pages 361-376, 2002.
28. J. S. Plank, M. Beck, G. Kingsley, and K. Li. Libckpt: Transparent checkpointing under Unix. In Usenix Winter Technical Conference, pages 213-224, January 1995.
29. F. Qin, S. Lu, and Y. Zhou. SafeMem: Exploiting ECC-memory for detecting memory leaks and memory corruption during production runs. In Proceedings of Intl. Symposium on High-Performance Computer Architecture (HPCA'05), pages 291-302, Feb 2005.
30. F. Qin, J. Tucek, J. Sundaresan, and Y Zhou. Rx: Treating bugs as allergies - a safe method to survive software failure. In Proceedings of ACM Symposium on Operating System Principles (SOSP'05), pages 235-248, Oct 2005.
31. M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee. Enhancing server availability and security through failure-oblivious computing. In Proceedings of Symposium on Operating System Design and Implementation (OSDI '04), pages 21-21, Dec 2004.
32. S. Sidiroglou, M. E. Locasto, S. W. Boyd, and A. D. Keromytis. Building a reactive immune system for software services. In Proceedings of USENIX Annual Technical Conference (USENIX'05), pages 149-161, 2005.
33. SPEC. http://www.spec.org/cpu2000.
34. S. Srinivasan, C. Andrews, S. Kandula, and Y Zhou. Flashback: A light-weight extension for rollback and deterministic replay for software debugging. In Proceedings of the USENIX 2004 Annual Technical Conference (USENIX'04), pages 29-44, Jun 2004.
35. M. Sullivan and R. Chillarege. Software defects and their impact on system availability - A study of field failures in operating systems. In Proceedings of the Annual Intl. Symposium on Fault-Tolerant Computing (FTC'91), pages 2-9, Jun 1991.
36. Symantec. Internet security threat report. http://www.symantec.com/ enterprise/threatreport/index.jsp, Sept 2006.
37. Y Tang, Q. Gao, and F. Qin. LeakSurvivor: Towards safely tolerating memory leaks for garbage-collected languages. In Proceedings of USENIX Annual Technical Conference (USENIX'08), pages 307-320, Jun. 2008.
38. J. Tucek, S. Lu, C. Huang, S. Xanthos, and Y Zhou. Triage: Diagnosing production run failures at the user's site. In Proceedings of Symposium on Operating systems principles (SOSP'07), pages 131-144, 2007.
39. J. Tucek, J. Newsome, S. Lu, C. Huang, S. Xanthos, D. Brumley, Y Zhou, and D. Song. Sweeper: A lightweight end-to-end system for defending against fast worms. In Proceedings of 2007 EuroSys Conference, pages 115-128, 2007.
40. US-CERT. US-CERT vulnerability notes database. http://www.kb.cert.org/ vuls.
41. M. Weiser. Programmers use slices when debugging. ACM Commun., 25(7):446-452, 1982.
42. A. Zeller. Isolating cause-effect chains from computer programs. In Proceedings of ACM symposium on Foundations of software engineering (FSE'02), pages 1-10, 2002.
43. X. Zhang, R. Gupta, and Y Zhang. Precise dynamic slicing algorithms. In Proceedings of International Conference on Software Engineering (ICSE'03), pages 319-329, 2003.
44. P. Zhou, W. Liu, L. Fei, S. Lu, F. Qin, Y Zhou, S. Midkiff, and J. Torrellas. AccMon: Automatically detecting memory-related bugs via program counter-based invariants. In Proceedings of IEEE/ACM International Symposium on Mi-croarchitecture (MICRO'04), pages 269-280, 2004.