[Wala-wala] about building context-sensitive call graph

[Sai Z. <sz...@cs...>]

Hi-

First, thanks to Steve's reply on my previous post:
https://sourceforge.net/mailarchive/forum.php?thread_name=OF8B4D7A3C.FC4CA418-ON85257930.006489F0-85257930.006555AA%40us.ibm.com&forum_name=wala-wala

Sorry that I did not receive an email notification, until I went to
wala-wala's archive to
check the original post. any ideas on receiving posts timely? I used the
default setting of the
wala-wala mailing list.


I am a little bit confused on building context-sensitive call graphs using
wala for Java.
I followed the available documents in:
http://wala.sourceforge.net/wiki/index.php/UserGuide:CallGraph
And try to build a context-sensitive CG using the following code snippet:

String appPath = "path/to/a/set/of/java class files"
AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(
             appPath,
FileProvider.getFile(CallGraphTestUtil.REGRESSION_EXCLUSIONS));
ClassHierarchy cha = ClassHierarchy.make(scope);
Iterable<Entrypoint> entrypoints = Util.makeMainEntrypoints(scope, cha);
AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope,
entrypoints);
*//I want to build a 0-1-CFA CG here*
CallGraph cg = CallGraphTestUtil.buildZeroOneContainerCFA(options, new
AnalysisCache(), cha, scope);
*//However, the context prints out are Everywhere, indicating it*
*//is a context-insensitive CG*
Iterator<CGNode> it = cg.iterator();
while(it.hasNext()) {
    System.out.println(it.next().getContext());
}

I am wondering do I need to redefine the ContextSelector? According to the
Wala examples, it seems
to be unnecessary. Or do I build the context-sensitive call graph in a wrong
way? or other reasons?
or is the result specific to the tested programs?  (my tested program is
appended at the end)



Thanks a lot. any comments are appreciated.

thanks

-Sai


============my tested program===========

class A {
public void foo() { }
}

class B extends A {
    public void foo() { err(); }
    public void err() {}
}

class C extends A {
    public void foo() { }
}

public class ContextSensitiveCG {

public void dispatchCalls(A a) {
a.foo();
}
 public void dispatchViaB() {
B b = new B();
dispatchCalls(b);
}
    public void dispatchViaC() {
    C b = new C();
dispatchCalls(b);
}

    public void main(String[] args) {
    ContextSensitiveCG icg = new ContextSensitiveCG();
    icg.dispatchViaB();
    icg.dispatchViaC();
    ContextSensitiveCG icg2 = new ContextSensitiveCG();
    icg2.dispatchViaB();
    icg2.dispatchViaC();
    }
}