5.3.1 可达性分析算法