MG++: Memory graphs for analyzing dynamic data structures | IEEE Conference Publication | IEEE Xplore