标签: 类型分析