8.1 反分析问题的统一形式