4.8.7 静态分析