[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