[lldb-dev] Symbolic Queries + LLDB

[Greg Clayton]

It sounds very interesting indeed. I would be more than willing to help give you general guidance to help the code fit into the LLDB codebase, so don't worry about not being able to get answers. We would definitely need to have some architectural discussions on what is currently in LLDB and how it is structured, and we can then figure out how and where this code would go.

Greg Clayton

On Oct 18, 2010, at 9:19 AM, Milen Dzhumerov wrote:

> 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.
> 
> M
> 
> 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
>>> 
> 
> _______________________________________________
> lldb-dev mailing list
> lldb-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/lldb-dev