10.1 生成静态分析