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 <[email protected]> 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 > <[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
