[Soot-list] APK File Which Causes Soot Infoflow Android Test to Crash

[Steven Arzt]

Hi,

 

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.

 

Best regards,

  Steven

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von R.F.
Gesendet: Montag, 27. Juli 2015 16:15
An: soot-list at cs.mcgill.ca
Betreff: [Soot-list] APK File Which Causes Soot Infoflow Android Test to Crash

 

Hi, all,

 

I run the test class of Soot Infoflow Android (soot-infoflow-android/src/soot/jimple/infoflow/android/TestApps/Test.java) on this APK file (https://drive.google.com/file/d/0B0ceYAgUVEZbQUZUcWtOR3laRGs/view?usp=sharing), but it crashes with the following stacktrace.

 

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.

 

Is this a bug in Soot Inflow Android? Would you please look into it?

 

Thanks.

 

 

 

Best Regards,

R.F.

 

 

Exception in thread "main" java.lang.RuntimeException: Failed to apply jb to <android.webkit.WebSettings: java.lang.String getCurrentAcceptLanguage()>

    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)

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.getExceptionDests(ExceptionalUnitGraph.java:800)

    at soot.toolkits.graph.ExceptionalUnitGraph.buildHeadsAndTails(ExceptionalUnitGraph.java:763)

    at soot.toolkits.graph.ExceptionalUnitGraph.initialize(ExceptionalUnitGraph.java:293)

    at soot.toolkits.graph.ExceptionalUnitGraph.<init>(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)

    ... 18 more

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150728/d98448be/attachment-0001.html