HeapMD: Identifying heap-based bugs using anomaly detection

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2006, Pages 219-228

  Chilimbi, Trishul M ^a   Ganapathy, Vinod ^b  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

Anomaly detection; Bugs; Debugging; Heap; Metrics

Indexed keywords

ANOMALY DETECTION; BUGS; METRICS;

COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING LANGUAGES; DYNAMIC ANALYSIS; SOFTWARE DESIGN;

PROGRAM DEBUGGING;

EID: 34547417097     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1168857.1168885     Document Type: Conference Paper

References (31)

1. ARNOLD, M., AND RYDER, B. G. A framework for reducing the cost of instrumented code. In Proc. PLDI (May 2001), ACM, pp. 168-179.
2. BUSH, W., PINCUS, J. D., AND SIELAFF, D. J. A static analyzer for finding dynamic programming errors. Software-Practice and Experience 30, 7 (2000), 775-802.
3. CHILIMBI, T. M., AND HAUSWIRTH, M. Low-overhead memory leak detection using adaptive statistical profiling. In Proc. ASPLOS (October 2004), ACM, pp. 156-164.
4. DEMSKY, B., AND RINARDI M. Role-based exploration of object-oriented programs. In Proc. ICSE (May 2002), IEEE/ACM, pp. 313-334.
5. DEMSKY, B., AND RINARD, M. Automatic detection and repair of errors in data structures. In Proc. OOPSLA (October 2003), ACM, pp. 78-95.
6. DING, C., AND ZHONG, Y. Predicting whole-program locality with reuse distance analysis. In Proc. PLDI (June 2003), ACM, pp. 245-257.
7. EDWARDS, A., SRIVASTAVA, A., AND VO, H. Vulcan: Binary transformation in. a distributed environment. Tech. Rep. 2001-50, Microsoft Research, April 2001.
8. ERNST, M. D. Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington, Seattle, WA, August 2000.
9. GHIYA, R., AND HENDREN, L. Is it a Tree, a DAG or a Cyclic Graph? A shape analysis for heap-directed pointers in C. In Proc. POPL (January .1996), ACM, pp. 1-15.
10. HACKETT, B., AND RUGINA, R. Region-based shape analysis with tracked locations. In Proc. POPL (January 2005), ACM, pp. 310-323.
11. HANGAL, S., AND LAM, M. S. Tracking down software bugs using automatic anomaly detection. In Proc. ICSE (May 2002), IEEE/ACM, pp. 291-301.
12. HASTINGS, R., AND JOYCE, B. Purify: Fast detection of memory leaks and access errors. In Winter USENIX Conference (January 1992).
13. HIRZEL, M., AND CHILIMBI, T. M. Bursty tracing: A framework for low-overhead temporal profiling. In Proc. Wkshp. on Feedback-Directed and Dynamic Optimization (December 2001).
14. HIRZEL, M., HENKEL, J., DIWAN, A., AND HIND, M. Understanding the connectivity of heap objects. In Proc. ISMM (June 2002), ACM, pp. 143-156.
15. KREMENEK, T., ASHCRAFT, K., YANG, J., AND ENGLER, D. Correlation exploitation in error ranking. In Proc. SIGSOFT FSE (November 2004), ACM, pp. 83-93.
16. KREMENEK, T., AND ENGLER, D. Z-Ranking: Using statistical analysis to counter the impact of static analysis approximations. In Proc. Intl. Static Analysis Symp. (SAS) (June 2003), pp. 295-315.
17. LI, Z., LU, S., MYAGMAR, S., AND ZHOU, Y. Cp-miner: A tool for finding copy-paste and related bugs in operating system code. In Proc. OSDI (Dec. 2004), ACM/USENIX, pp. 289-302.
18. LIBLIT, B., AIKEN, A., ZHENG, A. X., AND JORDAN, M. I. Bug isolation via remote program, sampling. In Proc. PLDI (June 2003), ACM, pp. 141-154.
19. NETHERCOTE, N., AND SEWARD, J. Valgrind: A program supervision framework. Elec. Notes in Theor. Comp. Sci. (ENTCS) 89, 2 (2003).
20. QADEER, S., AND LAHIRI, S. Verifying properties of well-founed linked lists. In Proc. POPL (Jan. 2006), ACM.
21. QIN, F., TUCEK, J., SUNDARESAN, J., AND ZHOU, Y. Rx: Treating bugs as allergies - a safe method to survive software failures. In Proc. SOSP (Oct 2005), ACM, pp. 235-248.
22. RLNARD, M., CADAR, C., DUMITRAN, D., ROY, D., LEU, T., AND BEEBEE, W. Enhancing server availability and security through failure-oblivious computing. In Proc. OSDI (December 2004), pp. 303-316.
23. RUBIN, S., BODIK, R., AND CHILIMBI, T. M. An efficient profile-analysis framework for data-layout optimizations. In Proc. POPL (January 2002), ACM, pp. 140-153.
24. SAGIV, M., REPS, T. W., AND WILHELM, R. Parametric shape analysis via 3-valued logic. ACM TOPLAS 24, 3 (May 2002), 217-298.
25. SEKAR, R., BENDRE, M., DHURJATI, D., AND BOLLINENI, P. A fast automaton-based method for detecting anomalous program behaviors. In Symp. on Security and Privacy (May 2001), IEEE, pp. 144-155.
26. SHEN, X., ZHONG, Y., AND DING, C. Locality phase prediction. In Proc. ASPLOS (October 2004), ACM, pp. 165-176.
27. SHERWOOD, T., PERELMAN, E., HAMERLY, G., AND CALDER, B. Automatically characterizing large scale program, behaviour. In Proc. ASPLOS (October 2002), ACM, pp. 45-57.
28. SHERWOOD, T., SAIR, S., AND CALDER, B. Phase tracking and prediction. In Proc. ISCA (June 2003), pp. 288-299.
29. WAGNER, D., AND DEAN, D. Intrusion detection via static analysis. In Symp. on Security and Privacy (May 2001), IEEE, pp. 156-169.
30. YAHAV, E., AND RAMALINGAM, G. Verifying safety properties using separation, and heterogenous abstractions. In Proc. PLDI (June 2004), ACM, pp. 25-34.
31. ZHOU, P., LIU, W., LONG, F., LU, S., QIN, F., ZHOU, Y., MIDKIFF, S., AND TORRELLAS, J. AccMon: Automatically detecting memory-related bugs via program counter-based invariants. In Proc. MICRO (December 2004), IEEE/ACM, pp. 269-280.