YAHMD — Yet another heap memory debugger

This work makes two major contributions to architectural support for the debugging of memory related bugs. First, it proposes a novel framework for detecting memory related bugs, where the application can be selective, can be extended to kernel modules, and is based on the virtual memory simulation of the application in hand. Secondly, we have tried to formalize the code instrumentation given our framework. It has not been dealt in details in the earlier works. This will generate scopes for future research in this area and a better formalism can help to come up with a much more usable and robust tool for detecting memory related bugs.

[1]  Michael Mehlich.  CheckPointer - A C Memory Access Validator , 2011, 2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation.

[2]  Yuanyuan Zhou,et al.  BugBench: Benchmarks for Evaluating Bug Detection Tools , 2005 .

[3]  George C. Necula,et al.  CCured in the real world , 2003, PLDI '03.

[4]  Jian Zhang,et al.  Memory Leak Detection Based on Memory State Transition Graph , 2011, 2011 18th Asia-Pacific Software Engineering Conference.

[5]  Jian Zhang,et al.  Path and Context Sensitive Inter-procedural Memory Leak Detection , 2008, 2008 The Eighth International Conference on Quality Software.

[6]  Wei Liu,et al.  AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants , 2004, 37th International Symposium on Microarchitecture (MICRO-37'04).

[7]  Alessandro Orso,et al.  LEAKPOINT: pinpointing the causes of memory leaks , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[8]  Sudheendra Hangal,et al.  Tracking down software bugs using automatic anomaly detection , 2002, ICSE '02.

[9]  Alexander Aiken,et al.  Context- and path-sensitive memory leak detection , 2005, ESEC/FSE-13.