[Soot-list] Spark Error with Flowdroid

[Saswat Anand]

>From the stack trace, it looks like one of the local has a "bottom"
type. One possible cause is that the type assigner is failing to
assign correct types to locals in the Jimple code that Dexpler
produces.

If you could open a new issue with the jimple and .smali code for the
offending method, that would help in debugging.

Saswat


On Fri, Jun 14, 2013 at 1:28 PM, Marc-André Laverdière-Papineau
<marc-andre.laverdiere-papineau at polymtl.ca> wrote:
> Hello everyone,
>
> I am using Flowdroid and was able to do some analyses this week. But
> after some fiddling (mostly improving the sources and sinks), I end up
> getting this error.
>
> Exception in thread "main" java.lang.RuntimeException: Attempt to create
> VarNode of type bottom_type
>         at soot.jimple.spark.pag.VarNode.<init>(VarNode.java:106)
>         at soot.jimple.spark.pag.LocalVarNode.<init>(LocalVarNode.java:44)
>         at soot.jimple.spark.pag.PAG.makeLocalVarNode(PAG.java:539)
>         at
> soot.jimple.spark.builder.MethodNodeFactory.caseLocal(MethodNodeFactory.java:219)
>         at soot.jimple.internal.JimpleLocal.apply(JimpleLocal.java:132)
>         at
> soot.jimple.spark.builder.MethodNodeFactory.caseCastExpr(MethodNodeFactory.java:190)
>         at soot.jimple.internal.AbstractCastExpr.apply(AbstractCastExpr.java:127)
>         at
> soot.jimple.spark.builder.MethodNodeFactory$1.caseAssignStmt(MethodNodeFactory.java:78)
>         at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:221)
>         at
> soot.jimple.spark.builder.MethodNodeFactory.handleStmt(MethodNodeFactory.java:69)
>         at soot.jimple.spark.pag.MethodPAG.buildNormal(MethodPAG.java:181)
>         at soot.jimple.spark.pag.MethodPAG.build(MethodPAG.java:147)
>         at
> soot.jimple.spark.solver.OnFlyCallGraph.processReachables(OnFlyCallGraph.java:64)
>         at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:56)
>         at
> soot.jimple.spark.solver.PropWorklist.handleVarNode(PropWorklist.java:123)
>         at soot.jimple.spark.solver.PropWorklist.propagate(PropWorklist.java:53)
>         at
> soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:152)
>
> I really have no idea what is causing this and what I can do about it.
> Any suggestions?
>
> --
> Marc-André Laverdière-Papineau
> Doctorant - PhD Candidate
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list