[lldb-dev] Symbolic Queries + LLDB

[Yan]

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
<milen at thecosmicmachine.com> 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
> lldb-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/lldb-dev
>