<div dir="ltr"><div class="">
<div class="">
<p>Hello,<br>
I'm using flowdroid ( by building it from source files) to analyse apk
files to find invalid UI access from threads in the code. I run the
following: soot.jimple.infoflow.android.TestApps.Test.main(args) with
appropriate args. But it gives me the following error for most apk
files. I would be grateful if you could suggest a way to debug this.<br></p>
<p>(The apk in this link gives the following exception : <a href="https://f-droid.org/repository/browse/?fdid=info.lamatricexiste.network">https://f-droid.org/repository/browse/?fdid=info.lamatricexiste.network</a>)</p>
<p>Exception in thread "main" java.lang.RuntimeException: Failed to apply jb to <br>
at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:1804)<br>
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:91)<br>
at soot.SootMethod.retrieveActiveBody(SootMethod.java:322)<br>
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:529)<br>
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:420)<br>
at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:55)<br>
at soot.jimple.spark.solver.PropWorklist.handleVarNode(PropWorklist.java:122)<br>
at soot.jimple.spark.solver.PropWorklist.propagate(PropWorklist.java:52)<br>
at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:152)<br>
at soot.SceneTransformer.transform(SceneTransformer.java:39)<br>
at soot.Transform.apply(Transform.java:90)<br>
at soot.RadioScenePack.internalApply(RadioScenePack.java:57)<br>
at soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:49)<br>
at soot.Pack.apply(Pack.java:116)<br>
at soot.jimple.infoflow.android.SetupApplication.calculateCallbackMethods(SetupApplication.java:467)<br>
at soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(SetupApplication.java:378)<br>
at soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(SetupApplication.java:344)<br>
at soot.jimple.infoflow.android.TestApps.Test.runAnalysis(Test.java:507)<br>
at soot.jimple.infoflow.android.TestApps.Test.main(Test.java:210)<br>
at com.ibm.research.androidstatic.CG2.driver(CG2.java:11)<br>
at com.ibm.research.androidstatic.CG2.main(CG2.java:25)<br>
Caused by: java.lang.IllegalStateException: UnitThrowAnalysis StmtSwitch: type of throw argument is not a RefType!<br>
at soot.toolkits.exceptions.AbstractThrowAnalysis.mightThrowExplicitly(AbstractThrowAnalysis.java:65)<br>
at soot.toolkits.exceptions.UnitThrowAnalysis$UnitSwitch.caseThrowStmt(UnitThrowAnalysis.java:706)<br>
at soot.jimple.internal.JThrowStmt.apply(JThrowStmt.java:70)<br>
at soot.toolkits.exceptions.UnitThrowAnalysis.mightThrow(UnitThrowAnalysis.java:241)<br>
at soot.toolkits.graph.ExceptionalUnitGraph.buildExceptionDests(ExceptionalUnitGraph.java:351)<br>
at soot.toolkits.graph.ExceptionalUnitGraph.initialize(ExceptionalUnitGraph.java:274)<br>
at soot.toolkits.graph.ExceptionalUnitGraph.(ExceptionalUnitGraph.java:159)<br>
at soot.jimple.toolkits.scalar.CopyPropagator.internalTransform(CopyPropagator.java:135)<br>
at soot.BodyTransformer.transform(BodyTransformer.java:51)<br>
at soot.Transform.apply(Transform.java:105)<br>
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:75)<br>
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:89)<br>
at soot.Pack.apply(Pack.java:126)<br>
at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:1802)<br>
... 20 more</p>
</div>
</div><br><br><br clear="all"><div><div class="gmail_signature"><div dir="ltr"><div style="font-size:small;font-family:arial">Thanks & Regards</div><div style="font-size:small;font-family:arial"><b>Pranav Nair</b>,</div><div style="font-size:small;font-family:arial">3rd year Undergraduate (Dual Degree),</div><div style="font-size:small;font-family:arial">Department of Computer Science & Engineering,</div><div style="font-size:small;font-family:arial">IIT Madras.</div></div></div></div>
</div>