[Soot-list] Unconditional branch statements

Tristan RATCHFORD tratch at cs.mcgill.ca
Mon Apr 12 20:54:00 EDT 2010


Hi Soot List,

Is there a way to eliminate the following kinds of statements?

   if temp$29 == 0 goto label5;

   label5:
         temp$30 = virtualinvoke tempS.<java.lang.String: int length()>();


Both branches will end up at label 5 regardless of what temp$29 
evaluates to. I looked at all the pack options, but there is nothing 
that address this.

I'm guessing I have to mess with the patching chain?

thanks,

Tristan


More information about the Soot-list mailing list