变量活跃性分析