[Soot-list] Cannot reach transitive methods in Call Graph

[Eric Bodden]

This looks ok to me.

Are the edges present in the graph?

Did you try adding code to bar()? Maybe it gets optimized away...

Eric

On 27 July 2011 14:50, John Dee <jdsoot at hotmail.com> wrote:
> Hi there.
> I the following 2 classes, which will be used for generating a call graph.
> public class CallGraphs
> {
> public static void main(String[] args) {
> doStuff();
> }
> @Criteria(profile = "med")
> public static void doStuff() {
> StringBuilder b = new StringBuilder("Blah");
> b.append(" Blah");
> new A().foo();
> }
> }
> class A
> {
> public void foo() {
> bar();
> }
> public void bar() {
> }
> }
> My call graph code looks like
> public class CallGraphExample
> {
> public static void main(String[] args) {
> // create a list from args
>   List<String> argsList = new ArrayList<String>(Arrays.asList(args));
>
>   // add on the following arguments
>   argsList.addAll(Arrays.asList(new String[]{
>   "-w",
>   "-main-class",
>   "testers.CallGraphs",
>   "testers.CallGraphs",//argument classes
>   "testers.A"
>   }));
>
>   // PackManager manages the packs containing the various phases and their
> options
>   PackManager.v().getPack("wjtp").add(new Transform("wjtp.myTrans", new
> SceneTransformer() {
> @Override
> protected void internalTransform(String phaseName, Map options) {
>       CHATransformer.v().transform();
>                SootClass a = Scene.v().getSootClass("testers.CallGraphs");
>       SootMethod src = Scene.v().getMainClass().getMethodByName("doStuff");
>       CallGraph cg = Scene.v().getCallGraph();
>       Iterator<MethodOrMethodContext> targets = new
> Targets(cg.edgesOutOf(src));
>       while (targets.hasNext()) {
>           SootMethod tgt = (SootMethod)targets.next();
>           System.out.println(src + " may call " + tgt);
>       }
>       ReachableMethods reachableMethods = new ReachableMethods(cg, targets);
>       QueueReader<MethodOrMethodContext> transitiveMethods =
>       reachableMethods.listener();
>       reachableMethods.update();
>       System.out.println("Num transitive methods " +
> reachableMethods.size());
>       while (transitiveMethods.hasNext()) {
>       System.out.println(src + " may reach " +
> ((SootMethod)transitiveMethods.next()).getName());
>       }
> }
>   }));
>            args = argsList.toArray(new String[0]);
>            soot.Main.main(args);
> }
> }
> The issue is that I can only see the reachable methods based on the edges
> out of method 'doStuff' in class 'CallGraphs'.
> I can't see the methods that are reachable transitively, which would be
> method 'bar' in class A. I have added in a 'ReachableMethods'
> instance based on the call graph and edges from method 'doStuff'. I then
> create a QueueReader based on the reachable methods.
> However, the queue is empty and also, when I print out
> 'reachableMethods.size()', it is 0 for some reason. Any ideas why?
> Thanks
> JD
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt