The Accrue Interprocedural Java Analysis Framework (Accrue) is a framework for interprocedural analysis of Java programs. It is built using the Polyglot extensible compiler framework, and is also suitable for interprocedural analysis of programs written in Java language extensions implemented with Polyglot. The Accrue framework simplifies implementation of interprocedural analyses of programs written using Java or Java language extensions.
A tutorial on Polyglot and Accrue will be held at PLDI 2014. These pages contain the material (slides and exercises) for the Accrue portion of the tutorial.