<div dir="ltr">I just tried to right click on some java file from eclipse -> soot -> convert into Jimple.<br><br>As you see I'm using openjdk 7. Could this be the problem?<br><br></div><div class="gmail_extra"><br><div class="gmail_quote">On 13 March 2016 at 05:15, Steven Arzt <span dir="ltr"><<a href="mailto:Steven.Arzt@cased.de" target="_blank">Steven.Arzt@cased.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div link="blue" vlink="purple" lang="DE"><div><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">Hi Denis,<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US">That’s strange. From the stack trace, I see that you are using the JastAddJ frontend for loading Java source code. Have you tried to switch to the bytecode frontend and read bytecode instead of source code? We are currently working on a new source code frontend anyway as the old one is stuck with Java 1.5. That could potentially also be a part of the problem.<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US"><u></u> <u></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US">Best regards,<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US"> Steven<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US"><u></u> <u></u></span></p><p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif"" lang="EN-US">Von:</span></b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif"" lang="EN-US"> soot-list-bounces@CS.</span><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif"">McGill.CA [mailto:<a href="mailto:soot-list-bounces@CS.McGill.CA" target="_blank">soot-list-bounces@CS.McGill.CA</a>] <b>Im Auftrag von </b>Denis Bogdanas<br><b>Gesendet:</b> Sonntag, 13. März 2016 04:46<br><b>An:</b> Steven Arzt; <a href="mailto:soot-list@cs.mcgill.ca" target="_blank">soot-list@cs.mcgill.ca</a><br><b>Betreff:</b> Re: [Soot-list] Soot plugin for Eclipse doesn't work on Windows<u></u><u></u></span></p><div><div class="h5"><p class="MsoNormal"><u></u> <u></u></p><div><div><div><div><div><p class="MsoNormal">Hi Steven,<u></u><u></u></p></div><p class="MsoNormal" style="margin-bottom:12.0pt">I've looked into this issue. The problem doesn't seem to be caused by paths after all.<u></u><u></u></p></div><p class="MsoNormal" style="margin-bottom:12.0pt">Even if I manually correct the paths and run something like this:<br><br>soot.Main --keep-line-number --xml-attributes --f J --src-prec java --cp D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/jsse.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/rt.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/charsets.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/zipfs.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/jce.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/dnsns.jar;D:/jimple-example/src;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunpkcs11.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/resources.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/localedata.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunec.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunmscapi.jar;D:/eclipse-workspaces/runtime-New_configuration/jimple-example/bin/;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunjce_provider.jar;;D:/eclipse-workspaces/runtime-New_configuration/jimple-example/src;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/resources.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/rt.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/jsse.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/jce.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/charsets.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/dnsns.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/localedata.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunec.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunjce_provider.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunmscapi.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunpkcs11.jar;D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/zipfs.jar --d D:/eclipse-workspaces/runtime-New_configuration/jimple-example/sootOutput JimpleExample<u></u><u></u></p></div><p class="MsoNormal" style="margin-bottom:12.0pt">I get the output:<br><br>java.lang.reflect.InvocationTargetException<br> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)<br> at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)<br> at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)<br> at java.lang.reflect.Method.invoke(Unknown Source)<br> at ca.mcgill.sable.soot.launching.SootThread.run(SootThread.java:138)<br>Caused by: java.lang.Error: Error loading java.lang.CharSequence<br> at soot.JastAddJ.PathPart.getCompilationUnit(PathPart.java:130)<br> at soot.JastAddJ.Program.getCompilationUnit(Program.java:930)<br> at soot.JastAddJ.Program.lookupType_compute(Program.java:1466)<br> at soot.JastAddJ.Program.lookupType(Program.java:1447)<br> at soot.JastAddJ.Program.Define_TypeDecl_lookupType(Program.java:1941)<br> at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1646)<br> at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1646)<br> at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1646)<br> at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1646)<br> at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1646)<br> at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1646)<br> at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1646)<br> at soot.JastAddJ.ASTNode.Define_TypeDecl_lookupType(ASTNode.java:1646)<br> at soot.JastAddJ.Expr.lookupType(Expr.java:1285)<br> at soot.JastAddJ.TypeAccess.decls_compute(TypeAccess.java:388)<br> at soot.JastAddJ.TypeAccess.decls(TypeAccess.java:377)<br> at soot.JastAddJ.TypeAccess.refined_TypeScopePropagation_TypeAccess_decl(TypeAccess.java:350)<br> at soot.JastAddJ.TypeAccess.decl_compute(TypeAccess.java:423)<br> at soot.JastAddJ.TypeAccess.decl(TypeAccess.java:415)<br> at soot.JastAddJ.TypeAccess.type_compute(TypeAccess.java:585)<br> at soot.JastAddJ.TypeAccess.type(TypeAccess.java:578)<br> at soot.JastAddJ.ParameterDeclaration.type_compute(ParameterDeclaration.java:452)<br> at soot.JastAddJ.ParameterDeclaration.type(ParameterDeclaration.java:445)<br> at soot.JastAddJ.MethodDecl.signature_compute(MethodDecl.java:1251)<br> at soot.JastAddJ.MethodDecl.signature(MethodDecl.java:1239)<br> at soot.JastAddJ.TypeDecl.localMethodsSignatureMap_compute(TypeDecl.java:2545)<br> at soot.JastAddJ.TypeDecl.localMethodsSignatureMap(TypeDecl.java:2533)<br> at soot.JastAddJ.ClassDecl.methodsSignatureMap_compute(ClassDecl.java:1046)<br> at soot.JastAddJ.ClassDecl.methodsSignatureMap(ClassDecl.java:1038)<br> at soot.JastAddJ.TypeDecl$2.<init>(TypeDecl.java:452)<br> at soot.JastAddJ.TypeDecl.methodsIterator(TypeDecl.java:451)<br> at soot.JastAddJ.TypeDecl.methodsNameMap_compute(TypeDecl.java:2482)<br> at soot.JastAddJ.TypeDecl.methodsNameMap(TypeDecl.java:2473)<br> at soot.JastAddJ.TypeDecl.memberMethods_compute(TypeDecl.java:2448)<br> at soot.JastAddJ.TypeDecl.memberMethods(TypeDecl.java:2441)<br> at soot.JastAddJ.AbstractDot.Define_Collection_lookupMethod(AbstractDot.java:849)<br> at soot.JastAddJ.Expr.lookupMethod(Expr.java:1131)<br> at soot.JastAddJ.MethodAccess.decls_compute(MethodAccess.java:1035)<br> at soot.JastAddJ.MethodAccess.decls(MethodAccess.java:1027)<br> at soot.JastAddJ.MethodAccess.decl_compute(MethodAccess.java:1069)<br> at soot.JastAddJ.MethodAccess.decl(MethodAccess.java:1061)<br> at soot.JastAddJ.MethodAccess.nameCheck(MethodAccess.java:197)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:298)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.ASTNode.collectErrors(ASTNode.java:306)<br> at soot.JastAddJ.CompilationUnit.errorCheck(CompilationUnit.java:169)<br> at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:58)<br> at soot.JavaClassSource.resolve(JavaClassSource.java:54)<br> at soot.SootResolver.bringToHierarchy(SootResolver.java:215)<br> at soot.SootResolver.bringToSignatures(SootResolver.java:239)<br> at soot.SootResolver.processResolveWorklist(SootResolver.java:154)<br> at soot.SootResolver.resolveClass(SootResolver.java:124)<br> at soot.Scene.loadClass(Scene.java:448)<br> at soot.Scene.loadClassAndSupport(Scene.java:433)<br> at soot.Scene.loadNecessaryClass(Scene.java:1053)<br> at soot.Scene.loadNecessaryClasses(Scene.java:1067)<br> at soot.Main.run(Main.java:167)<br> at soot.Main.main(Main.java:141)<br> ... 5 more<br>Caused by: java.lang.ArrayIndexOutOfBoundsException: 4608<br> at soot.JastAddJ.BytecodeParser.parseThisClass(BytecodeParser.java:439)<br> at soot.JastAddJ.BytecodeParser.parseTypeDecl(BytecodeParser.java:406)<br> at soot.JastAddJ.BytecodeParser.parse(BytecodeParser.java:333)<br> at soot.JastAddJ.BytecodeParser.read(BytecodeParser.java:29)<br> at soot.JastAddJ.PathPart.getCompilationUnit(PathPart.java:117)<br> ... 74 more<br><br><br><br><br><br><u></u><u></u></p></div><p class="MsoNormal" style="margin-bottom:12.0pt">Everything is compiled with openjdk 1.7. Used the latest soot, compiled from sources.<br><br>Is the plugin working on Linux?<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p><div><p class="MsoNormal">On 11 March 2016 at 16:23, Denis Bogdanas <<a href="mailto:denis.bogdanas@gmail.com" target="_blank">denis.bogdanas@gmail.com</a>> wrote:<u></u><u></u></p><div><p class="MsoNormal" style="margin-bottom:12.0pt">Ok, will take a look into it.<u></u><u></u></p></div><div><div><div><p class="MsoNormal"><u></u> <u></u></p><div><p class="MsoNormal">On 11 March 2016 at 08:09, Steven Arzt <<a href="mailto:Steven.Arzt@cased.de" target="_blank">Steven.Arzt@cased.de</a>> wrote:<u></u><u></u></p><div><div><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">Hi Denis,</span><u></u><u></u></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"> </span><u></u><u></u></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US">The Soot Eclipse plugin is contained in the normal Soot repository on Github. The trailing slash seems to be the problem as Windows will usually also accept slashes as delimiters nowadays. Can you try to fix it (should be simple) and open a pull request on Github?</span><u></u><u></u></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US"> </span><u></u><u></u></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US">Best regards,</span><u></u><u></u></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US"> Steven</span><u></u><u></u></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d" lang="EN-US"> </span><u></u><u></u></p><p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif"">Von:</span></b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif""> <a href="mailto:soot-list-bounces@CS.McGill.CA" target="_blank">soot-list-bounces@CS.McGill.CA</a> [mailto:<a href="mailto:soot-list-bounces@CS.McGill.CA" target="_blank">soot-list-bounces@CS.McGill.CA</a>] <b>Im Auftrag von </b>Denis Bogdanas<br><b>Gesendet:</b> Montag, 7. März 2016 20:45<br><b>An:</b> soot<br><b>Betreff:</b> [Soot-list] Soot plugin for Eclipse doesn't work on Windows</span><u></u><u></u></p><div><div><p class="MsoNormal"> <u></u><u></u></p><div><p class="MsoNormal" style="margin-bottom:12.0pt">Not something critical, just a bug report.<br><br>By the way, is eclipse plugin available on github?<br><br>The "--cp" value produced by Soot doesn't like windows file names. This is what soot plugin tries to run:<br><br>soot.Main --keep-line-number --xml-attributes --f J --src-prec java --cp /D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/jsse.jar;/D:/soot-guide/call_graph/src;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/dnsns.jar;/D:/soot-guide/lib/polyglotclasses-1.3.5.jar;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunec.jar;/D:/soot;/D:/soot-guide/pointsto/src;/D:/soot-guide/my_code/src;/D:/soot-guide/intermediate_representation/src;/D:/soot-guide/pointsto/test;/D:/soot-guide/representations/shimple;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/rt.jar;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/charsets.jar;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/zipfs.jar;/D:/soot-guide/lib/paddle-nightly.jar;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/jce.jar;/D:/dp/soot-guide/out/;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunpkcs11.jar;/D:/soot-guide/representations/grimp;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/resources.jar;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/localedata.jar;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunmscapi.jar;/D:/soot-guide/representations/jimple;/D:/soot-guide/analysis_framework/src;/D:/ProgramFiles_no_spaces/OpenJDK_7/jre/lib/ext/sunjce_provider.jar;;D:\dp\soot-guide\representations\jimple;D:\dp\soot-guide\lib\paddle-nightly.jar;D:\dp\soot-guide\lib\polyglotclasses-1.3.5.jar;D:\dp\heros\slf4j-api-1.7.5.jar;D:\dp\heros\slf4j-simple-1.7.5.jar;D:\dp\heros\guava-18.0.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\resources.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\rt.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\jsse.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\jce.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\charsets.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\ext\dnsns.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\ext\localedata.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\ext\sunec.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\ext\sunjce_provider.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\ext\sunmscapi.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\ext\sunpkcs11.jar;D:\ProgramFiles_no_spaces\OpenJDK_7\jre\lib\ext\zipfs.jar --d D:\dp\soot-guide\sootOutput JimpleExample <br><br>Result: <br><br>java.lang.Error: Error loading java.lang.CharSequence<u></u><u></u></p></div></div></div></div></div></div><p class="MsoNormal"><br><br clear="all"><u></u><u></u></p></div></div><p class="MsoNormal"><span><span style="color:#888888">-- <u></u><u></u></span></span></p><div><div><p class="MsoNormal"><span style="color:#888888">Denis</span><u></u><u></u></p></div></div></div></div><p class="MsoNormal"><br><br clear="all"><br>-- <u></u><u></u></p><div><div><p class="MsoNormal">Denis<u></u><u></u></p></div></div></div></div></div></div></div></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature"><div dir="ltr">Denis<br></div></div>
</div>