SMT异常分析