[Soot-list] variable name conflict

[Bodden, Eric]

Hello.

> The class files contain debug symbols. However, I believe variables are renamed and debug symbols are left behind when class files are converted to a classes.dex file when the apk is exported.

Ah. Probably.

> Ok, thanks for the hint. I found locals are printed by Printer.printLocalsInBody(). Would it be enough if I rename Locals as needed using the Local. setName() method? As far as I know, the method body will have references to the JimpleLocal objects.

Yes that should be fine.

Eric