Lookahead Widening
Denis Gopan and Thomas Reps
We present lookahead widening, a novel technique
for using existing widening and narrowing operators to
improve the precision of static analysis.
This technique is both self-contained and fully-automatic in the sense
that it does not rely on separate analyzes or human involvement. We
show how to integrate lookahead widening into existing analyzers with
minimal effort. Experimental results indicate that the technique is
able to achieve sizable precision improvements at reasonable costs.
(Click here to access the paper:
PDF;
(c) Springer-Verlag.)