Soot - a Java Bytecode Optimization Framework
Advanced Compiler Design and Implementation