#可达性分析算法