[lldb-dev] Symbolic Queries + LLDB

Yan rottled at gmail.com
Mon Oct 18 08:11:06 PDT 2010

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?


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

More information about the lldb-dev mailing list