Soot - A Java optimization framework