[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