[Soot-list] Soot enquiries
ikpeme
ikpeme at gatech.edu
Tue Feb 8 19:10:06 EST 2011
Hi Eric
I am trying to do whole-program analysis (below is the snippet of code) using soot but I get errors shown below.
PhaseOptions.v().setPhaseOptionIfUnset("jb", "use-original-names");
PhaseOptions.v().setPhaseOption("cg", "all-reachable:true");
PhaseOptions.v().setPhaseOption("cg", "verbose:true");
Options.v().set_whole_program(true);
.
.
CHATransformer.v().transform();
Scene.v().getCallGraph();
Exception in thread "main" soot.AbstractSootMethodRef$ClassResolutionFailedException: Class java.lang.CharacterData doesn't have method of([int]) : java.lang.CharacterData; failed to resolve in superclasses and interfaces Looking in java.lang.CharacterData which has methods []
at soot.AbstractSootMethodRef.resolve(AbstractSootMethodRef.java:135)
at soot.AbstractSootMethodRef.resolve(AbstractSootMethodRef.java:95)
at soot.jimple.internal.AbstractInvokeExpr.getMethod(AbstractInvokeExpr.java:54)
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.getImplicitTargets(OnFlyCallGraphBuilder.java:234)
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:182)
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:81)
at soot.jimple.toolkits.callgraph.CallGraphBuilder.build(CallGraphBuilder.java:84)
at soot.jimple.spark.builder.ContextInsensitiveBuilder.build(ContextInsensitiveBuilder.java:80)
at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:83)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
In my soot class path I have included all the necessary files e.g. rt.jar, jce.jar. I have tried using "allow_phantom_refs" and that does not work too. Can you help?
Thanks
More information about the Soot-list
mailing list