I would definitely love to see this come to LLDB. Are you just asking if we'd like to contribute, or if we're interested in it happening in general?
-y On Sat, Oct 16, 2010 at 11:48 AM, Milen Dzhumerov <[email protected]> wrote: > Hi all, > > I'm a CS student on a Masters program at Imperial (UK) and Cristian Cadar > (one of the authors of the original KLEE paper, > http://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf) and I will be > undertaking a project related to KLEE. One of our ideas is adding symbolic > queries to LLDB, so users can not only get the value of a particular variable > but also the range of values it can take. > > Before choosing any particular project, I wanted to ask whether there's any > external interest in adding symbolic queries to LLDB. > > Thanks, > Milen > _______________________________________________ > lldb-dev mailing list > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/lldb-dev > _______________________________________________ lldb-dev mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/lldb-dev
