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

[Raghav Karol]

On 7/6/06, Eric Bodden <eric.bodden at mail.mcgill.ca> 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 think I didn't explain my question well enough. With the
use-original-names:true option in jimple the stack locations are
represented by the *same* variable in a method I analyse. With the
option set to false distinct variables are used for the stack
locations.

Using the same variable makes makes my flow-insentive analysis
imprecise. I wanted to know if it was possible to use distinct
variables for the stack along with original variable names in jimple.

Thank your for suggesting SSA, I'll try it to see if it improves my results.

> 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
> use something like SSA-form where variables are indexed but use the
> original name as prefix or so. Or you could manually store a mapping to
> the original name. Also you can use the Local Splitter (jb.ls) and
> Jimple Local Aggregator (jb.a) to switch between the split and
> aggregated local variable representation.
>


> Eric Bodden
> Sable Research Group, McGill University
> Montreal, Canada
>
>


-- 
Raghav

"Procrastinate today --- don't put it off!"