[Soot-list] Spark and Shimple

Navindra Umanee navindra at cs.mcgill.ca
Thu Mar 30 13:14:09 EST 2006


Hi Deepak,

Thanks for the report.  I'll have to look into this later tonight.
Can you send me tests.Main and tell me what version of Soot you are
using?

Thanks,
Navin.

Deepak Chandra <dchandra at ics.uci.edu> wrote:
> 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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list


More information about the Soot-list mailing list