[Soot-list] use-original-names bug

[Patrick Lam]

On 08/07/12 09:31, Zell wrote:
> Hello,
>
> I am also with some problems when using the -use-original-names options.
> Here is two screenshot, one for .java, another one for the transformed
> .jimple file.
>
> The transformed Jimple file uses the same variable name for two
> different types.  Is that a bug??

That is not a bug. You are not supposed to use variable names for Jimple 
variable equality, and Jimple does not guarantee that different 
variables have different names. It doesn't matter because the variable 
names don't get used when the code gets written out as bytecode.

pat