chord.print.results does not give me the results in HTML?

[Zell]

Hello,

I learned from the manual that
chord.print.results
will print the results of analysis in HTML.

I think i may misunderstand something, but I really do not see this
HTML file. Where does chord put it?? Thanks.

[Zell]

More specifically, I would really appreciate if you authors of jchord
can tell us how to decode your output in .bdd format. If the
promised .HTML can not found, there should be other ways to figure out
the meaning of the output? Thanks for your ideas

[Ariel Rabkin]

Howdy.

I think only a few analyses use chord.print.results; the output will
be in the chord_output directory under your chord working directory.
(chord.work.dir)

The way I always get output is by setting the option chord.print.rels.
This option should be a list of the names of the internal datalog
relations you want to display.

I would recommend against trying to parse the BDDs. They're really
intended for internal use only -- they're a way of passing data
between different analysis phases.

--Ari

> --
> 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.
>

--
Ari Rabkin asra...@gmail.com
UC Berkeley Computer Science Department

[Edward Wu]

Personally, I use the API to load the bdd files and query it in java. I am not sure if this is the right way to do things, but it at least worked for me. You might want to try that, since you will be able to get the actual objects in those relations.

some of the code snippets:

MSVS is my custom relation with 3 elements per entry.

private ProgramRel relMSVS;

relMSVS = (ProgramRel) ClassicProject.g().getTrgt("MSVS");

ClassicProject.g().runTask("MSVS-dlog");

relMSVS.load();

final Iterable<Trio<Object,Object,Object>> tuplesMSVS = relMSVS.getAry3ValTuples();

Hope it helps.