[Soot-list] Spark Error with Flowdroid

[Marc-André Laverdière-Papineau]

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