[Soot-list] soot options( local splitter )

[Li Sui]

Hi there.

 I am using soot and spark to do some points to analysis. It throws
exception when i turn off the local splitter. Here is the options I have:

soot.options.Options.v().set_keep_line_number(true);

soot.options.Options.v().set_whole_program(true);

soot.options.Options.v().setPhaseOption("cg","verbose:true");

soot.options.Options.v().setPhaseOption("cg.spark","enabled:true");

soot.options.Options.v().setPhaseOption("jb","enabled:true");

soot.options.Options.v().setPhaseOption("jb","use-original-names:true");

soot.options.Options.v().setPhaseOption("jb.ls","enabled:false");


Here is the exception:

java.lang.Exception: null typing passed to useChecker

at soot.jimple.toolkits.typing.fast.UseChecker.check(UseChecker.java:50)

at
soot.jimple.toolkits.typing.fast.TypeResolver.insertCasts(TypeResolver.java:345)

at
soot.jimple.toolkits.typing.fast.TypeResolver.inferTypes(TypeResolver.java:124)

at
soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:101)

at soot.BodyTransformer.transform(BodyTransformer.java:51)

at soot.Transform.apply(Transform.java:104)

at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:66)

at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:89)

at soot.Pack.apply(Pack.java:124)

at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:117)

at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:89)

at soot.SootMethod.retrieveActiveBody(SootMethod.java:322)

at
soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:531)

at
soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:426)

at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:55)

at
soot.jimple.spark.builder.ContextInsensitiveBuilder.build(ContextInsensitiveBuilder.java:77)

at
soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:84)

at soot.SceneTransformer.transform(SceneTransformer.java:39)

at SPARKExample.main(SPARKExample.java:92)


I also notice that if I disable local splitter in soot eclipse plugin, I
can not run it under the whole program mode. The eclipse just quite
straight away.

Any idea?

Thanks

Lee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20160604/7b1d06af/attachment.html