Re: [bddbddb-devel] Using bddbddb

[Ciera C. <cie...@gm...>]

> Some analyses are in bddbddb_examples in the Subversion repository.
> By constant analysis, do you mean constant propagation and/or constant
> folding?  I'm not sure if there is an analysis.

Constant propagation. I may eventually use an integer range analysis,
but my examples haven't needed it yet.


> The Eclipse plug-in project was a summer project by an undergrad at
> Stanford.  He got it to a certain point but it is not complete yet.
> Also, the Eclipse API may have changed since then.  It may be a good
> starting point, however.  Using Eclipse is the most natural way of
> dealing with source code rather than bytecode.

Thanks, I'll check that out and see how far along it is. Is there any
documentation that describes how it should work (ie: what the form of
the predicates are) or the current design?

~Ciera

-- 
Ciera Nicole Christopher
Institute for Software Research
Carnegie Mellon University
www.cs.cmu.edu/~cchristo