比较静态分析