The U Combinator suite of tools is a framework for the static analysis of higher order programs.