[Soot-list] access to original variable names

[Patrick LAM]

On Fri, 17 Jun 2005, Jasen Carrol wrote:

> Thanks Pat. Is that a command line option that you're
> talking about (-p jb.use-original-names)? Because I'm
> using the Soot API to create SootClasses rather than
> the command line. So, I would like to know which Soot
> Locals refer to the same Java variable by making some
> API call.

The only exposed API is the Jimple Local (so if it's the same object, then
it's probably the same variable); this works as long as you set the
use-original-names option (which you can specify from the Soot API).

pat