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

[R.F.]

Hi Alexandre and Steve,

I just opened up a new Eclipse workspace and cloned the latest source code
on the develop branch (or default branch on GitHub) of Jasmin (
https://github.com/Sable/jasmin), Heros (https://github.com/Sable/heros),
Soot (https://github.com/Sable/soot), Soot Infoflow (
https://github.com/secure-software-engineering/soot-infoflow) and Soot
Infoflow Android (
https://github.com/secure-software-engineering/soot-infoflow-android). My
arguments are "/PATH/TO/andrewgilman.dartsscoreboard.apk
/PATH/TO/android-platforms". The "android-platform" directory is also a
clone of https://github.com/Sable/android-platforms. The JRE used by
Eclipse is Oracle Java 7 on Ubuntu (/usr/lib/jvm/java-7-oracle).

However, the crash still exists. Is there something wrong with my
configuration?

I also decompiled the APK and noticed that in the manifest XML file, there
no configuration regarding SDK version. Could this be the reason?

Thanks.



Best Regards,
R.F.

On Tue, Jul 28, 2015 at 5:16 PM, Steven Arzt <Steven.Arzt at cased.de> wrote:

> 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/22f7b9a8/attachment.html