利用双向推导检测Java程序中的内存泄漏

摘要：

Java应用程序中大量使用动态内存.Java程序运行过程中会自动对不可达的动态内存进行回收,但不能及时地对应用程序中可达但不活跃的动态内存进行回收,从而造成内存泄漏.为有效地检测内存泄漏,提出了采用双向推导进行内存泄漏检测的方法,在推导的过程中利用分离逻辑理论对应用程序中的动态内存进行分析,确定到达程序中每条语句的可达的动态内存和活跃的动态内存,辅助完成动态内存泄漏的检测.

关键词：内存泄漏、分离逻辑、双向推导、霍尔推理规则

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

在线出版日期：2014-08-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：438-441