A Shape Analyzer Based on Symbolic Memory Graphs