<div dir="ltr"><span style="font-size:12.8px">Hi there.</span><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"> 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:</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><p>soot.options.Options.v().set_keep_line_number(true);</p><p>soot.options.Options.v().set_whole_program(true);</p><p></p><p>soot.options.Options.v().setPhaseOption(&quot;cg&quot;,&quot;verbose:true&quot;);</p><p>soot.options.Options.v().setPhaseOption(&quot;cg.spark&quot;,&quot;enabled:true&quot;);</p><p>soot.options.Options.v().setPhaseOption(&quot;jb&quot;,&quot;enabled:true&quot;);</p><p>soot.options.Options.v().setPhaseOption(&quot;jb&quot;,&quot;use-original-names:true&quot;);</p><p>soot.options.Options.v().setPhaseOption(&quot;<a href="http://jb.ls/" target="_blank">jb.ls</a>&quot;,&quot;enabled:false&quot;);</p><p><br></p><p>Here is the exception:</p><p>java.lang.Exception: null typing passed to useChecker</p><p>at soot.jimple.toolkits.typing.fast.UseChecker.check(UseChecker.java:50)</p><p>at soot.jimple.toolkits.typing.fast.TypeResolver.insertCasts(TypeResolver.java:345)</p><p>at soot.jimple.toolkits.typing.fast.TypeResolver.inferTypes(TypeResolver.java:124)</p><p>at soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:101)</p><p>at soot.BodyTransformer.transform(BodyTransformer.java:51)</p><p>at soot.Transform.apply(Transform.java:104)</p><p>at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:66)</p><p>at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:89)</p><p>at soot.Pack.apply(Pack.java:124)</p><p>at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:117)</p><p>at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:89)</p><p>at soot.SootMethod.retrieveActiveBody(SootMethod.java:322)</p><p>at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:531)</p><p>at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:426)</p><p>at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:55)</p><p>at soot.jimple.spark.builder.ContextInsensitiveBuilder.build(ContextInsensitiveBuilder.java:77)</p><p>at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:84)</p><p>at soot.SceneTransformer.transform(SceneTransformer.java:39)</p><p></p><p>at SPARKExample.main(SPARKExample.java:92)</p><p><br></p><p>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.</p><p>Any idea?</p><p>Thanks </p><p>Lee</p></div></div>