5.5 比较静态分析