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 <[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 _______________________________________________ lldb-dev mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/lldb-dev
