静态分析法