Re: Problem Body.getLocals()

["Marco Bakera" <marco.bakera@uni-dortmund.de>]

Hey there,
>
> 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.
>
The commandline we ware using is

-src-prec J -p jb use-original-names:true -f J foo

and as one could see we are reading the jimple. Any idea how this happened?

--
Marco     www.bakera.de
ICQ       59397823