[Soot-list] Which command-line options in order to generate new intermediate variable for each statement in Jimple?

[Eric Bodden]

Christina you want to use the LocalSplitter.

I am not quite sure, though, that you can just enable it with a
command line option.

Eric

On 22 July 2012 22:43, Cristina Ilie <crysgirlro at yahoo.com> wrote:
> Hello,
>
> I would like that Soot generates me a Jimple code where the intermediate
> variables don't repeat.
> For example for the nest Java code [1] Soot generates me now the [2] Jimple.
> I wish that Soot
> to generate me a new variable when it performs the add statement: "$d0 = $d0
> + $d1;";
> Instead of this statement it will insert a new variable "$d3" and it will
> generate the following:
> "$d3 = $d0 + $d1". So the final code will be [3].
>
> I suppose there is an option that should be set or unset for the Soot. Can
> you say me which is?
> I tried to unset the "Jimple Local Aggregator" from "Jimple Body Creation"
> but no positive
> results...
>
> Cristina
>
>
> [1]
> z = Math.sqrt(Math.pow(x, 2)+Math.pow(x, 3));
>
> [2]
> x := @parameter0: double;
> $d0 = staticinvoke <java.lang.Math: double pow(double,double)>(x, 2.0);
> $d1 = staticinvoke <java.lang.Math: double pow(double,double)>(x, 3.0);
> $d0 = $d0 + $d1;
> z = staticinvoke <java.lang.Math: double sqrt(double)>($d0);
>
> [3]
> x := @parameter0: double;
> $d0 = staticinvoke <java.lang.Math: double pow(double,double)>(x, 2.0);
> $d1 = staticinvoke <java.lang.Math: double pow(double,double)>(x, 3.0);
> $d3 = $d0 + $d1;
> z = staticinvoke <java.lang.Math: double sqrt(double)>($d3);
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt