算子溢出分析