6.5 静态分析