<div dir="ltr"><div dir="auto"><i style="color:rgb(33,33,33);font-family:calibri,sans-serif;font-size:16px;background-color:rgb(255,255,255)"><span style="font-size:11pt;line-height:22px">Hi there</span></i><div dir="auto"><i style="color:rgb(33,33,33);font-family:calibri,sans-serif;font-size:16px;background-color:rgb(255,255,255)"><span style="font-size:11pt;line-height:22px"><br></span></i></div><div dir="auto"><i style="background-color:rgb(255,255,255)"><span style="line-height:22px"><font color="#212121" face="calibri, sans-serif"><span style="font-size:11pt">Is the option "-p","cg","types-for-invoke" working in Soot3.1.0-snapshot ? I got following </span></font><div class="gmail_default" style="display:inline"><font color="#212121" face="calibri, sans-serif"><span style="font-size:14.6667px">exception</span>​: </font></div></span></i></div><div dir="auto">java.lang.ClassCastException: soot.AnySubType cannot be cast to soot.RefType</div><div dir="auto"><span style="white-space:pre">    </span>at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.resolveInvoke(OnFlyCallGraphBuilder.java:345)</div><div dir="auto"><span style="white-space:pre">    </span>at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.addBaseType(OnFlyCallGraphBuilder.java:279)</div><div dir="auto"><span style="white-space:pre">      </span>at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.addType(OnFlyCallGraphBuilder.java:558)</div><div dir="auto"><span style="white-space:pre">  </span>at soot.jimple.toolkits.callgraph.CallGraphBuilder.build(CallGraphBuilder.java:117)</div><div dir="auto"><span style="white-space:pre">      </span>at soot.jimple.spark.builder.ContextInsensitiveBuilder.build(ContextInsensitiveBuilder.java:102)</div><div dir="auto"><span style="white-space:pre"> </span>at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:98)</div><div dir="auto"><span style="white-space:pre">        </span>at soot.SceneTransformer.transform(SceneTransformer.java:39)</div><div dir="auto"><span style="white-space:pre">     </span>at soot.Transform.apply(Transform.java:105)</div><div dir="auto"><span style="white-space:pre">      </span>at soot.RadioScenePack.internalApply(RadioScenePack.java:65)</div><div dir="auto"><span style="white-space:pre">     </span>at soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:55)</div><div dir="auto"><span style="white-space:pre">     </span>at soot.Pack.apply(Pack.java:120)</div><div dir="auto"><span style="white-space:pre">        </span>at soot.PackManager.runWholeProgramPacks(PackManager.java:607)</div><div dir="auto"><span style="white-space:pre">   </span>at soot.PackManager.runPacksNormally(PackManager.java:492)</div><div dir="auto"><span style="white-space:pre">       </span>at soot.PackManager.runPacks(PackManager.java:416)</div><div dir="auto"><span style="white-space:pre">       </span>at soot.Main.run(Main.java:272)</div><div dir="auto"><span style="white-space:pre">  </span>at soot.Main.main(Main.java:144)</div><div dir="auto"><span style="white-space:pre"> </span>at nz.ac.massey.cs.staticAnalyser.soot.Soot.run(Soot.java:56)</div><div dir="auto"><span style="white-space:pre">    </span>at nz.ac.massey.cs.staticAnalyser.ExperimentHarness.runSoot(ExperimentHarness.java:23)</div><div dir="auto"><span style="white-space:pre">   </span>at nz.ac.massey.cs.staticAnalyser.ExperimentHarness.runExperiment(ExperimentHarness.java:105)</div><div dir="auto"><span style="white-space:pre">    </span>at Main.parseArgs(Main.java:48)</div><div dir="auto"><span style="white-space:pre">  </span>at Main.main(Main.java:17)</div><div dir="auto"><i style="color:rgb(33,33,33);font-family:calibri,sans-serif;font-size:16px;background-color:rgb(255,255,255)"><span style="font-size:11pt;line-height:22px"><div class="gmail_default" style="font-size:small;display:inline">​</div></span></i></div><div dir="auto"><i style="color:rgb(33,33,33);font-family:calibri,sans-serif;font-size:16px;background-color:rgb(255,255,255)"><span style="font-size:11pt;line-height:22px"><div class="gmail_default" style="font-size:small;display:inline">Cheers</div></span></i></div><div dir="auto"><i style="color:rgb(33,33,33);font-family:calibri,sans-serif;font-size:16px;background-color:rgb(255,255,255)"><span style="font-size:11pt;line-height:22px"><div class="gmail_default" style="font-size:small;display:inline">Lee</div></span></i></div></div>
</div>