Re: Problem Body.getLocals()

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

This could be caused by various things. Are you reading it in from a
.class file, a .jimple file, or a .java file, or are you creating it
yourself? What is the soot command line that you're using? In general,
Soot allows you to insert multiple locals with the same name, and these
are considered *different* variables.

Ondrej

On Fri, Jun 18, 2004 at 04:54:06PM +0200, Marco Bakera wrote:
> Hey,
> 
> and thanks for help so far modifying the CFG. But there's another problem
> thats confusing me.I have got this simple Jimpleprogram confusing me with
> its internal representation in SOOT:
> 
> public class foo extends java.lang.Object
> {
>     public void doit()
>     {
>         int faintCandidate;
>         int i;
> 
>         faintCandidate = 0;
>         i = 0;
>         goto label1;
> 
>      label0:
>         faintCandidate = faintCandidate + 1;
>         i = i + 1;
> 
>      label1:
>         if i < 10 goto label0;
> 
> 		i = 5;
>     }
> }
> 
> So i think it only has the two Locals 'i' and 'faintCandidate'. If i call
> Body.getLocals() on this it get: [faintCandidate, i, i]
> 
> So whats going on here? Why are there two i's in there? %-)
> 
> Thanks for help,
> Marco.
> 
> --
> /X\arco                              ICQ#59397823
>               . .
> ---------oOOo-(_)-oOOo--------> www.bakera.de <--
>