Soot (poster session): a Java bytecode optimization and annotation framework.