[Soot-list] Why JSubExpr if Jimple does not have subexpression?

Eric Bodden eric.bodden at ec-spride.de
Fri Jul 6 10:15:58 EDT 2012


Hi Zell.

> the 2nd generated jimple  does not even introduce temporary variables, while
> the first one does it !
> It seems to me that the 2nd one is not a real jimple.

They are both valid jimple because they are both in a simplified
three-address form. The only difference is that the second code is
more verbose than the first - other than that they are equivalent. If
you program your analysis correctly, it should give you the same
results for both programs.

Eric


More information about the Soot-list mailing list