论文部分内容阅读
对象生命期信息是Java内存管理优化的基础。逃逸分析获得对象的逃逸状态，分析对象生命期不够精确。丈中提出一种基于逃逸分析的增量式过程间对象生命期分析方法，利用称为连接图的程序抽象进行图上结点属性的过程内与过程间传播，设计数据流方程计算非全局对象的生命期在哪个方法中结束。实验结果表明该方法精确性较高。