Insofar as the initial set of boundaries provides an overapproximation to the ground truth, our goal is to eliminate as many spurious object boundaries as we can; at the same time, we want to retain the true boundaries that enable the detection of actual buffer overruns.
it also has an effect (sometimes sizable) on the analysis recall.