在taint_propagation中加入污染内存是否属于堆的判断