11.4.3 静态分析