[Soot-list] flowdroid gives error while running on many applications on F-droid website

[PRANAV NAIR]

Hello,
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.

(The apk in this link gives the following exception :
https://f-droid.org/repository/browse/?fdid=info.lamatricexiste.network)

Exception in thread "main" java.lang.RuntimeException: Failed to apply jb
to
at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:1804)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:91)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:322)
at
soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:529)
at
soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:420)
at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:55)
at
soot.jimple.spark.solver.PropWorklist.handleVarNode(PropWorklist.java:122)
at soot.jimple.spark.solver.PropWorklist.propagate(PropWorklist.java:52)
at
soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:152)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.Transform.apply(Transform.java:90)
at soot.RadioScenePack.internalApply(RadioScenePack.java:57)
at
soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:49)
at soot.Pack.apply(Pack.java:116)
at
soot.jimple.infoflow.android.SetupApplication.calculateCallbackMethods(SetupApplication.java:467)
at
soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(SetupApplication.java:378)
at
soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(SetupApplication.java:344)
at soot.jimple.infoflow.android.TestApps.Test.runAnalysis(Test.java:507)
at soot.jimple.infoflow.android.TestApps.Test.main(Test.java:210)
at com.ibm.research.androidstatic.CG2.driver(CG2.java:11)
at com.ibm.research.androidstatic.CG2.main(CG2.java:25)
Caused by: java.lang.IllegalStateException: UnitThrowAnalysis StmtSwitch:
type of throw argument is not a RefType!
at
soot.toolkits.exceptions.AbstractThrowAnalysis.mightThrowExplicitly(AbstractThrowAnalysis.java:65)
at
soot.toolkits.exceptions.UnitThrowAnalysis$UnitSwitch.caseThrowStmt(UnitThrowAnalysis.java:706)
at soot.jimple.internal.JThrowStmt.apply(JThrowStmt.java:70)
at
soot.toolkits.exceptions.UnitThrowAnalysis.mightThrow(UnitThrowAnalysis.java:241)
at
soot.toolkits.graph.ExceptionalUnitGraph.buildExceptionDests(ExceptionalUnitGraph.java:351)
at
soot.toolkits.graph.ExceptionalUnitGraph.initialize(ExceptionalUnitGraph.java:274)
at soot.toolkits.graph.ExceptionalUnitGraph.(ExceptionalUnitGraph.java:159)
at
soot.jimple.toolkits.scalar.CopyPropagator.internalTransform(CopyPropagator.java:135)
at soot.BodyTransformer.transform(BodyTransformer.java:51)
at soot.Transform.apply(Transform.java:105)
at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:75)
at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:89)
at soot.Pack.apply(Pack.java:126)
at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:1802)
... 20 more



Thanks & Regards
*Pranav Nair*,
3rd year Undergraduate (Dual Degree),
Department of Computer Science & Engineering,
IIT Madras.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150721/1adb28b9/attachment-0001.html