Optimizing Java Bytecode using the Soot Framework: Is it Feasible?
An efficient method of computing static single assignment form