3.3 语义时效分析算法