[Soot-list] jb.use-original-names option, local variables

[Patrick LAM]

Eric Bodden wrote:
>> >> Is it possible to use distinct local variables for each new object
>> >> created while still enjoying the benefit of original names?
> >
> > So you want multiple distinct variables with one and the same name? I am
> > very much sure that the Jimple IR assumes that each variable has its own
> > name. Hence, this should be impossible. What you could do is possibly

I'm pretty sure that Jimple doesn't actually rely on the names of the
local variables for any internal purposes; it instead uses object
identity to distinguish objects.

You will run into problems if you emit the Jimple and then reparse it,
because then it can't tell the difference between variables.

pat