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

[Steven Arzt]

Hi Pranav,

 

The issue is not reproducible with the latest versions of Soot and FlowDroid. Can you make sure that you are indeed using the latest nightly builds of all involved components?

 

Best regards,

  Steven

 

 

M.Sc. M.Sc. Steven Arzt

Secure Software Engineering Group (SSE)

European Center for Security and Privacy by Design (EC SPRIDE) 

Rheinstraße 75

D-64293 Darmstadt

Phone: +49 61 51 869-336

Fax: +49 61 51 16-72118

eMail:  <mailto:steven.arzt at ec-spride.de> steven.arzt at ec-spride.de

Web: http://sse.ec-spride.de <http://sse.ec-spride.de/> 

 

 

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von PRANAV NAIR
Gesendet: Dienstag, 21. Juli 2015 11:19
An: soot-list at CS.McGill.CA
Betreff: [Soot-list] flowdroid gives error while running on many applications on F-droid website

 

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/20150910/59dbb2ef/attachment-0001.html