Practical Memory Leak Detection using Guarded Value-Flow Analysis 论文阅读
本文于2007年投稿于ACM-SIGPLAN会议1。概述指针在代码编写过程中可能出现以下两种问题：存在一条执行路径，指针未成功释放（内存泄漏），如下面代码中注释部分所表明的：intfoo(){int*p=malloc(4*sizeof(int));if(p==NULL)return-1;int*q=malloc(4*sizeof(int));if(q==NULL)return-1;//注意这里，q