Lookahead Widening

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.

• Type: Conference
• Year: 2006
• Where: CAV
• Authors: Denis Gopan, Thomas W. Reps
• Keywords: CAV 2006, Hardware, Lookahead, Separate Analyzes, Sizable Precision Improvements