[lldb-dev] Symbolic Queries + LLDB

Milen Dzhumerov milen at thecosmicmachine.com
Mon Oct 18 09:19:24 PDT 2010

Just asking whether anyone is interested - I'll be implementing all of it. The only kind of potential support needed would be some general guidance on how to implement it so that it fits nicely with the internal structure.

The deadline for taking the decision to undertake the project is on Wednesday, so I'll send another email if I do decide to go ahead with it.


On 18 Oct 2010, at 16:11, Yan <rottled at gmail.com> wrote:

> 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

More information about the lldb-dev mailing list