静态分析方法