Re: Using bddbddb

Hi Ciera,

On 9/26/07, Ciera Christopher <cchristo <at> cs.cmu.edu> wrote:
> John,
>
> I'm interested in using bddbddb for a static analysis that I'm working
> on. I've been prototyping using the interactive interpreter, and
> everything is working properly. I'd like to try implementing my
> analysis, but I have a few questions first:
>
> 1) I need to plug into the API directly rather than using the
> Interactive and DatalogParser classes. The analysis itself will be
> auto-generated depending upon some developer specifications, so I'd
> like to skip the step of writing this out to file just to have bddbddb
> read it back in again. Is there any documentation for how to do this?
> I saw two people ask about this on the developers list, but there were
> no responses.

The easiest thing to do would be to generate Datalog and send it to
the parser directly.  This will make it really easy to debug what is
going on.  Once you have solved the relations, you can query the
Relation objects directly from your application to get the results.
You can generate the rules programmatically if you want, but it may be
tedious and harder to debug.

> 2) The analysis depends on having an alias analysis and a constant
> analysis. Is there a constant analysis implemented? I presume I use
> these by calling a particular predicate specific to these analyses. Is
> there documentation on which analyses are available and how to access
> their results?