Understanding Uncertainty in Static Pointer Analysis