Building Useful Program Analysis Tools Using an Extensible Java Compiler

   Abstract