基于语义规则的污点传播分析优化方法