SMT常见异常分析