比较静态分析例子