[Soot-list] Spark and Shimple

[Deepak Chandra]

Hi,

I have been trying to use the spark framework with shimple but it
raises exceptions.
Does the spark framework work with shimple IR?

I am analyzing a simple "Hello World" program using a the following
command line

java -Xmx700m soot.Main -v -ws  -p cg.spark on,verbose:true tests.Main
and I get the following error message.

Applying phase cg.spark to the scene.
Exception in thread "main" java.lang.ClassCastException
        at soot.shimple.internal.SPhiExpr.apply(SPhiExpr.java:445)
        at soot.jimple.spark.builder.MethodNodeFactory$1.caseAssignStmt(MethodNodeFactory.java:78)
        at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:222)
        at soot.jimple.spark.builder.MethodNodeFactory.handleStmt(MethodNodeFactory.java:71)
        at soot.jimple.spark.pag.MethodPAG.buildNormal(MethodPAG.java:162)
        at soot.jimple.spark.pag.MethodPAG.build(MethodPAG.java:128)
        at soot.jimple.spark.solver.OnFlyCallGraph.processReachables(OnFlyCallGraph.java:78)
        at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:70)
        at soot.jimple.spark.builder.ContextInsensitiveBuilder.build(ContextInsensitiveBuilder.java:78)
        at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:53)
        at soot.SceneTransformer.transform(SceneTransformer.java:39)
        at soot.Transform.apply(Transform.java:89)
        at soot.RadioScenePack.internalApply(RadioScenePack.java:60)
        at soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:36)
        at soot.Pack.apply(Pack.java:110)
        at soot.PackManager.runWholeProgramPacks(PackManager.java:345)
        at soot.PackManager.runPacks(PackManager.java:300)
        at soot.Main.run(Main.java:179)
        at soot.Main.main(Main.java:153)


Thanks,
Deepak