Re: [bddbddb-devel] Using bddbddb
Status: Beta
Brought to you by:
joewhaley
|
From: Ciera C. <cie...@gm...> - 2007-09-28 23:00:59
|
> 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 |