Yungbum Jung Kwangkeun Yi Practical memory leak detector based on parameterized procedural summaries. 131-140 2008 ISMM http://doi.acm.org/10.1145/1375634.1375653 conf/iwmm/2008 db/conf/iwmm/ismm2008.html#JungY08