[Soot-list] variable name conflict

[Sergio Ferrero]

Hi Quentin,

I found the place in the plugin that disables the use-original-names option
and I still get names of original variables in the jimple output.
Below is the invocation to soot from the plugin. It does include the
use-original-names option.

soot.Main --f J --v --p jj *use-original-names:false* --d
/Users/Sergio/git/abp-plugin/soot-test/sootOutput --cp
/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/localedata.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/dnsns.jar:/System/Library/Java/Extensions/QTJava.zip:/System/Library/Java/Extensions/j3daudio.jar:/Users/Sergio/git/abp-plugin/soot-test/bin/:/soot:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/apple_provider.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/jsse.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/sunpkcs11.jar:/System/Library/Java/Extensions/dns_sd.jar:/System/Library/Java/Extensions/MRJToolkit.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/charsets.jar:/System/Library/Java/Extensions/AppleScriptEngine.jar:/soot-test/src:/System/Library/Java/Extensions/jai_codec.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/sunjce_provider.jar:/System/Library/Java/Extensions/mlibwrapper_jai.jar:/System/Library/Java/Extensions/j3dutils.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/classes.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/ui.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/jce.jar:/System/Library/Java/Extensions/j3dcore.jar:/System/Library/Java/Extensions/vecmath.jar:/System/Library/Java/Extensions/jai_core.jar::/Users/Sergio/git/abp-plugin/soot-test/src:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/classes.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/ui.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/jsse.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/jce.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/charsets.jar:/System/Library/Java/Extensions/AppleScriptEngine.jar:/System/Library/Java/Extensions/dns_sd.jar:/System/Library/Java/Extensions/j3daudio.jar:/System/Library/Java/Extensions/j3dcore.jar:/System/Library/Java/Extensions/j3dutils.jar:/System/Library/Java/Extensions/jai_codec.jar:/System/Library/Java/Extensions/jai_core.jar:/System/Library/Java/Extensions/mlibwrapper_jai.jar:/System/Library/Java/Extensions/MRJToolkit.jar:/System/Library/Java/Extensions/QTJava.zip:/System/Library/Java/Extensions/vecmath.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/apple_provider.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/dnsns.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/localedata.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/sunjce_provider.jar:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/lib/ext/sunpkcs11.jar:/Users/Sergio/git/abp-plugin/heros/guava-13.0.jar
--xml-attributes --src-prec java soot.test.Locals


I also tried running Soot outside eclipse and I get repeated variables
names too. I ran it as follows:

java -classpath
/Users/Sergio/git/soot/classes:/Users/Sergio/git/soot/libs/baksmali-1.3.2.jar
soot.Main --cp
/Users/Sergio/git/abp-plugin/soot-test/src:/System/Library/Frameworks/JavaVM.framework/Classes/classes.jar:/Users/Sergio/git/jasmin/classes/
-p jj use-original-names:false -f J -d
/Users/Sergio/git/abp-plugin/soot-test/sootOutput2 --src-prec java
soot.test.Locals


This problem does not occur if I set .class files (instead of .java) as
source for input option. It seems it only occurs when going from java to
jimple.


Thanks
Sergio


On Mon, Jul 8, 2013 at 12:45 PM, Quentin Sabah <quentin.sabah at inria.fr>wrote:

> On 07/08/2013 05:20 PM, Sergio Ferrero wrote:
> > That option appears to be already disabled.
>
> The original variable names appearing in the Jimple code indicates that
> the use-original-names option is enabled at the moment the bytecode is
> being translated to Jimple.
>
> I don't know the Eclipse plugin, so I cannot tell whether this behavior
> is expected or not, and if it can be modified.
>
> I suggest you to run the analysis outside of Eclipse with bare Soot.
>
> --
> Quentin Sabah, CIFRE Ph.D. student
> Grenoble University
> INRIA-SPADES                   | STMicroelectronics/AST
> Montbonnot, France             | Grenoble, France
> mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
> phone: +33 476 61 54 57        | phone: +33 476 58 44 14
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130710/3dfbaef4/attachment.html