14.1.2 可达性分析算法