[Soot-list] soot options( local splitter )
Li Sui
leesui0207 at gmail.com
Thu Jun 2 20:00:57 EDT 2016
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
Li
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20160603/03248906/attachment-0001.html
More information about the Soot-list
mailing list