比较静态分析(精)