Static object trace extraction for programs with pointers.

Thomas Eisenbarth Rainer Koschke Gunther Vogel Static object trace extraction for programs with pointers. 263-284 2005 77 Journal of Systems and Software 3 http://dx.doi.org/10.1016/j.jss.2004.04.028 db/journals/jss/jss77.html#EisenbarthKV05