论文部分内容阅读
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存．这类程序的内存泄漏检测要求精确的域敏感的指针别名信息，变得尤其复杂和难以处理．针对这个问题，提出了基于“指针扩展类型”域敏感的堆内存抽象方法，对指针变量在形态上的排列关系进行抽象以支持堆的局部推理．首先，定义了各种基本语句的操作语义，然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法．在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck，该工具支持复杂数据结构内指针型数据域上的内存泄露检测．在典