5.4 准静态分析