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

[R.F.]

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/20150727/36e8495d/attachment-0001.html