[Soot-list] CallGraph question

[Ondrej Lhotak]

I tried to run your code on the latest Soot release. I did not get the
output that you did, but instead, I got an exception in the
soot.toolkits.exceptions.ThrowableSet$Manager class. The reason for this
exception is because basic classes necessary for the functioning of Soot
(such as the various exceptions defined by the VM) were not loaded. They
were not loaded because you are not extending Soot in the recommended
way (by adding a subclass of BodyTransformer or SceneTransformer; see
the Soot tutorials), but just calling into Soot directly. If you do want
to call into Soot directly, you need to add the following two lines
after the first line of code from your e-mail:

        soot.options.Options.v().set_whole_program(true);
        scene.loadBasicClasses();

If I add those two lines, the output I get is:

<verbose Spark output deleted>
CLINIT edge: $r1 = new IfStatement in <Bar: void function5(int,int)> ==> <java.lang.Object: void <clinit>()>
VIRTUAL edge: virtualinvoke r0.<Bar: int function8(int,int)>(i2, i5) in <Bar: void function5(int,int)> ==> <Bar: int function8(int,int)>
VIRTUAL edge: virtualinvoke r0.<Bar: void function6(int,int)>(i5, i2) in <Bar: void function5(int,int)> ==> <Bar: void function6(int,int)>
SPECIAL edge: specialinvoke $r1.<IfStatement: void <init>()>() in <Bar: void function5(int,int)> ==> <IfStatement: void <init>()>
VIRTUAL edge: virtualinvoke r3.<java.lang.String: char charAt(int)>(0) in <Bar: void function5(int,int)> ==> <java.lang.String: char charAt(int)>

This is the correct output. Note that I had to add the functions necessary to
get the code that you're analyzing to compile:

public class Bar {
    public static final void main(String[] args) {
        new Bar().function5(1,2);
    }
    public int function8(int i, int j) {
        return 1;
    }
    public void function6(int i, int j) {
    }
    public void function5(int pram1, int pram2) {
        IfStatement ifStmt = new IfStatement();
        int i = 0, j = 0;

        String str = "testing";
        str.charAt(0);
        i = pram2;
        function6(i, j);
        int b = function8(j, i);
}
}

Ondrej

On Thu, Mar 24, 2005 at 07:04:04PM -0500, Jia Chen wrote:
> Hi All,
> 
> I am working on a project that requires finding out all the methods
> that are invoked as a result of one method being invoked. So I found a
> piece of cod that builds a CallGraph from a method. However, when I
> iterated through all out-going edges from the method, all I could see
> were SPECIAL, STATIC, and FINALIZE edges. Can anyone tell me how I can
> get the other edges also? Follows is the code I am using.
> 
> Thanks in advance.
> Jia
> 
> // ---- Code using Soot ----------------------------------------------
> Scene scene = Scene.v();
> SootClass sootClass = scene.loadClassAndSupport(className);
> 
> Scene.v().setEntryPoints(sootClass.getMethods());
> Map sparkOptions = new HashMap();
> sparkOptions.put("enabled", "true");
> sparkOptions.put("on-fly-cg", "true");
> sparkOptions.put("set-impl", "hybrid");
> sparkOptions.put("propagator", "worklist");
> sparkOptions.put("verbose", "true");
> SparkTransformer.v().transform("cg", sparkOptions);
> 
> SootMethod sMethod = sootClass.getMethod(methodName);
> CallGraph callGraph = scene.getCallGraph();
> Iterator iter = callGraph.edgesOutOf((MethodOrMethodContext)sMethod);
> 
> while (iter.hasNext()) {
> 	System.out.println(iter.next());
> }
> // ---- End of Code using Soot ----------------------------------------
> 
> // ---- Function being analyzed --------------------------
> public void function5(int pram1, int pram2) {
> 	IfStatement ifStmt = new IfStatement();
> 	int i = 0, j = 0;
> 
> 	String str = "testing";
> 	str.charAt(0);
> 	i = pram2;
> 	function6(i, j);
> 	b = function8(j, i);
> }
> // ---- End of function being analyzed --------------------
> 
> // ---- Output ----------------------------------------------
> SPECIAL edge: specialinvoke $r2.<tempclass.IfStatement: void
> <init>()>() in <.tempclass.IfStatement: void function5(int,int)> ==>
> <tempclass.IfStatement: void <init>()>
> // ---- End of Output ----------------------------------------
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://www.sable.mcgill.ca/mailman/listinfo/soot-list
>