Interprocedural Analysis with Lazy Propagation

Simon Holm Jensen, Anders Møller and Peter Thiemann


We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions may not be distributive. The technique is described formally as a systematic modification of a variant of the monotone framework and its theoretical properties are shown. It is implemented in a type analysis tool for JavaScript where it results in a significant improvement in performance.

[PDF (tech report) | BibTeX]

© 2010 Springer-Verlag