[Soot-list] Why create temp$xx variables?

[Hamid 2C]

Hi Peng,

I think you can use the -src-prec option to read directly from .jimple
files instead of making .jimple files from .class files.

Hamid

> Thus, what I hope SOOT can output is a shimple like this:
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>    public static int foo(boolean)
>    {
>        boolean flag;
>         int x, y, z, x_1, y_1, x_2, y_2;
>
>        flag := @parameter0: boolean;
>        if flag == 0 goto label1;
>
>        goto label0;
>
>     label0:
>         x = 2;
>        y = 3;
> (0)     goto label2;
>
>     label1:
>        x_1 = 3;
> (1)     y_1 = 2;
>
>     label2:
>        x_2 = Phi(x #0, x_1 #1);
>        y_2 = Phi(y #0, y_1 #1);
>
>        z = x_2 + y_2;
>        return z;
>    }
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>
> Is this possible? BTW, what is the command line for a "default" run of
> SOOT? I tried various combinations and turned on those propagator and
> folder, but no help at all. SOOT still generated those temp$ variables.
> I think my command line should be wrong.
>
>
> Thank you.
>
>
> Peng
>