9.6.1 静态分析