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

[Peng Du]

Thanks, Hamid

I think your solution will work. Just curious about those temp$ variables.
There got be some more elegant way to eliminate those. I tried lots of
command line options, as well Eclipse plugin, all of them generated temp$.

 I will try your idea as a last resort.


Thank you.

Peng

On Wed, Apr 22, 2009 at 10:53 AM, Hamid 2C <hamid2c at gmail.com> wrote:

> 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
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090422/4a6ed76b/attachment.html