判断对象存活：可达性分析算法