On 11/20/2011 10:33 AM, Gang Hu wrote: > The memory leak is caused by two reasons. > First, the MemoryObject objects are not freed, until the MemoryManager > is destroyed. Second, when KLEE allocates a non-fixed MemoryObject > object, KLEE also allocates a block of memory which is the same as the > object's size. This block of memory is never freed. > So, this patch generally does reference counting on the MemoryObject > objects, and frees them as soon as the reference count drops to zero.
Hi Gang, Heming, Junfeng, Many thanks for your memory leak patch! Sorry it took a while to review. http://llvm.org/viewvc/llvm-project?view=rev&revision=148402 Best wishes, Cristian _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
