什么是静态分析的基本方法