隐式分析