The output of the analysis

[Zell]

Hello, is it normal that,
the output is EXACTLY the same:
for whatever analysis that I run, say
cipa-0cfa-dlog, or cspa-0cfa-dlog?

The output in my machine gives this folder,
|--chord_output
bddbddb
dlog
methods.txt
reflect.txt

where bddbddb is an empty folder, dlog contains your build-in datalog
file for predefined analysis.

chord_analyses_alias_VCfilter.dlog
chord_analyses_alias_cipa_0cfa.dlog
chord_analyses_alias_cspa_0cfa.dlog
chord_analyses_alias_cspa_hybrid.dlog
chord_analyses_alias_cspa_kcfa.dlog
chord_analyses_alias_cspa_kobj.dlog
chord_analyses_alias_retCopy.dlog
chord_analyses_datarace_datarace.dlog
...

[Zell]

Sorry, I think the output results is in fact methods.txt and
reflect.txt, right?

If so, would you like to interpret me the results please? I am using
cipa-0cfa-dlog, but I don't see any points-to relation from the
output. ( as shown in my source program below, at least I should have
something that tells (z,x), (x,n,y) alias, right?)

Many thanks. By the way, I suggest you write a "interpret your
analyzed result" in your user guide, in which you kindly explain an
analyzed result for an intra-procedural source program. Thanks for
your attention. The following are respectively methods.txt,
reflect.txt, and Bonjour.java ( the anlaysed source)

******* This is methods.txt*********

<clinit>:()V...@java.lang.Object
main:([Ljava/lang/String;)V...@test.Bonjour
<init>:()V...@test.Mylist
<init>:()V...@java.lang.Object
registerNatives:()V...@java.lang.Object

*******End of methods.txt**********

*******This is reflect.txt**************

# resolvedClsForNameSites
# resolvedObjNewInstSites
# resolvedConNewInstSites
# resolvedAryNewInstSites

*********End of reflects.txt**********

********This is my source file: Bonjour.java*********

package test;

public class Bonjour {
public static void main(String[] args) {
Mylist x= new Mylist();
Mylist y= new Mylist();
Mylist z= new Mylist();
z=x;
x.n=y;
}
}
class Mylist{int v; Mylist n;}

***********************************************

[Mayur Naik]

What command-line arguments are you using?  You need to run the following in the main/ directory:

ant -Dchord.work.dir=<...> -Dchord.run.analyses=cipa-0cfa-dlog run

where the <...> directory contains a chord.properties file that defines chord.main.class and chord.class.path at least.

All this information is there in the user guide.  For instance, see http://pag.cc.gatech.edu/chord/user_guide/setup.html.

If you don't want to setup your own program first, you can try -Dchord.work.dir=examples/datarace_test/ but you will need to first run "ant compile" in examples/datarace_test/.

-- Mayur

--
You received this message because you are subscribed to the Google Groups "chord-discuss" group.
To post to this group, send email to chord-...@googlegroups.com.
To unsubscribe from this group, send email to chord-discus...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/chord-discuss?hl=en.

[Zell]

Thank you Sir, I made a stupid mistake forgetting updating the
directory .../output/bdd using "-g" of emacs DIRED mode. Sorry.

Otherwise, I suppose ../output/bdd contains all the results of the
analysis. Apparently, threre are 3 kinds of output: .dom, .map,
and .bdd. I may have 2 questions here:
1 Why .dom is an output of your analysis? It seems counter-intuitive
for me.

2. how to interprete .bdd. Is there an esay way to tranforme it to
human-readable file that contains, say, relationship of points-to.?
Otherwise, what's the reference to understand those .bdd files. i do
not get it from the Ph.D thesis of Mayur.

Thanks.

On Dec 2, 4:00 pm, Mayur Naik <n...@cc.gatech.edu> wrote:
> What command-line arguments are you using?  You need to run the following
> in the main/ directory:
>
> ant -Dchord.work.dir=<...> -Dchord.run.analyses=cipa-0cfa-dlog run
>
> where the <...> directory contains a chord.properties file that defines
> chord.main.class and chord.class.path at least.
>

> All this information is there in the user guide.  For instance, seehttp://pag.cc.gatech.edu/chord/user_guide/setup.html.