<div dir="ltr">Hi Alexandre and Steve,<div><br></div><div>I just opened up a new Eclipse workspace and cloned the latest source code on the develop branch (or default branch on GitHub) of Jasmin (<a href="https://github.com/Sable/jasmin">https://github.com/Sable/jasmin</a>), Heros (<a href="https://github.com/Sable/heros">https://github.com/Sable/heros</a>), Soot (<a href="https://github.com/Sable/soot">https://github.com/Sable/soot</a>), Soot Infoflow (<a href="https://github.com/secure-software-engineering/soot-infoflow">https://github.com/secure-software-engineering/soot-infoflow</a>) and Soot Infoflow Android (<a href="https://github.com/secure-software-engineering/soot-infoflow-android">https://github.com/secure-software-engineering/soot-infoflow-android</a>). My arguments are &quot;/PATH/TO/andrewgilman.dartsscoreboard.apk /PATH/TO/android-platforms&quot;. The &quot;android-platform&quot; directory is also a clone of <a href="https://github.com/Sable/android-platforms">https://github.com/Sable/android-platforms</a>. The JRE used by Eclipse is Oracle Java 7 on Ubuntu (/usr/lib/jvm/java-7-oracle).</div><div><br></div><div>However, the crash still exists. Is there something wrong with my configuration?</div><div><br></div><div>I also decompiled the APK and noticed that in the manifest XML file, there no configuration regarding SDK version. Could this be the reason?</div><div><br></div><div>Thanks.</div><div><br></div><div><br></div><div><br></div><div>Best Regards,</div><div>R.F.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jul 28, 2015 at 5:16 PM, Steven Arzt <span dir="ltr">&lt;<a href="mailto:Steven.Arzt@cased.de" target="_blank">Steven.Arzt@cased.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div lang="DE" link="blue" vlink="purple"><div><p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">Hi,<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">Can you please double-check that you are indeed using the newest version of soot, soot-infoflow, and soot-infoflow-android? We cannot reproduce the issue here – on our computation server, it works all fine with the given APK.<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">Best regards,<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">  Steven<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;">Von:</span></b><span style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;"> <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>R.F.<br><b>Gesendet:</b> Montag, 27. Juli 2015 16:15<br><b>An:</b> <a href="mailto:soot-list@cs.mcgill.ca" target="_blank">soot-list@cs.mcgill.ca</a><br><b>Betreff:</b> [Soot-list] APK File Which Causes Soot Infoflow Android Test to Crash<u></u><u></u></span></p><div><div class="h5"><p class="MsoNormal"><u></u> <u></u></p><div><div><p class="MsoNormal">Hi, all,<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal">I run the test class of Soot Infoflow Android (soot-infoflow-android/src/soot/jimple/infoflow/android/TestApps/Test.java) on this APK file (<a href="https://drive.google.com/file/d/0B0ceYAgUVEZbQUZUcWtOR3laRGs/view?usp=sharing" target="_blank">https://drive.google.com/file/d/0B0ceYAgUVEZbQUZUcWtOR3laRGs/view?usp=sharing</a>), but it crashes with the following stacktrace.<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal">This is a normal APK file which can run with no problem on device, and I have pulled the latest source code of Soot, Soot Infoflow and Soot Infoflow Android on the develop branch.<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal">Is this a bug in Soot Inflow Android? Would you please look into it?<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal">Thanks.<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal">Best Regards,<u></u><u></u></p></div><div><p class="MsoNormal">R.F.<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal"> <u></u><u></u></p></div><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal">Exception in thread &quot;main&quot; java.lang.RuntimeException: Failed to apply jb to &lt;android.webkit.WebSettings: java.lang.String getCurrentAcceptLanguage()&gt;<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:1804)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:91)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.SootMethod.retrieveActiveBody(SootMethod.java:322)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:529)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:420)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:55)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.spark.solver.PropWorklist.handleVarNode(PropWorklist.java:122)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.spark.solver.PropWorklist.propagate(PropWorklist.java:52)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:152)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.SceneTransformer.transform(SceneTransformer.java:39)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.Transform.apply(Transform.java:90)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.RadioScenePack.internalApply(RadioScenePack.java:57)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:49)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.Pack.apply(Pack.java:116)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.infoflow.android.SetupApplication.calculateCallbackMethods(SetupApplication.java:467)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(SetupApplication.java:378)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(SetupApplication.java:344)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.infoflow.android.TestApps.Test.runAnalysis(Test.java:507)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.infoflow.android.TestApps.Test.main(Test.java:210)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal">Caused by: java.lang.IllegalStateException: UnitThrowAnalysis StmtSwitch: type of throw argument is not a RefType!<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.toolkits.exceptions.AbstractThrowAnalysis.mightThrowExplicitly(AbstractThrowAnalysis.java:65)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.toolkits.exceptions.UnitThrowAnalysis$UnitSwitch.caseThrowStmt(UnitThrowAnalysis.java:706)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.internal.JThrowStmt.apply(JThrowStmt.java:70)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.toolkits.exceptions.UnitThrowAnalysis.mightThrow(UnitThrowAnalysis.java:241)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.toolkits.graph.ExceptionalUnitGraph.getExceptionDests(ExceptionalUnitGraph.java:800)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.toolkits.graph.ExceptionalUnitGraph.buildHeadsAndTails(ExceptionalUnitGraph.java:763)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.toolkits.graph.ExceptionalUnitGraph.initialize(ExceptionalUnitGraph.java:293)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.toolkits.graph.ExceptionalUnitGraph.&lt;init&gt;(ExceptionalUnitGraph.java:159)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.jimple.toolkits.scalar.CopyPropagator.internalTransform(CopyPropagator.java:135)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.BodyTransformer.transform(BodyTransformer.java:51)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.Transform.apply(Transform.java:105)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:75)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:89)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.Pack.apply(Pack.java:126)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:1802)<u></u><u></u></p></blockquote><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal"><span>    </span>... 18 more<u></u><u></u></p></blockquote><div><p class="MsoNormal"><u></u> <u></u></p></div></blockquote></div></div></div></div></div></blockquote></div><br></div>