静态分析与比较静态分析