On 3/12/08, Derek M Jones <derek@xxxxxxxxxxxx> wrote: > Josh, > > > >> I know, last year was not all that successful, but maybe > >> there will be more applications this year. I've got some > >> ideas about abstract interpretation for one. I can't promise > >> that I'll choose sparse, there should be lots of interesting > >> projects this year, but there are other people as well. > > > > At least one other person has asked about Sparse and SoC, which > > suggests that some interest exists. I'll work on getting the > > org forms filled out today. > > > > If anyone else on the Sparse list has an interest in mentoring, please > > let me know as soon as possible. > > > The ideas so far proposed are major undertakings. The sort of > thing a summer student will only scratch the surface of. > I have nothing against adding more easier projects, but please keep the proposed ones. ;) > I think it would be useful to analyze the Linux bug history, > looking for known faults and their fixes, that are currently not > detected by Sparse, but which look like they are amenable to static > detection. > If more faults are required there is always the BSD bug list. > > If the existing faults were categorized it would give some idea > of the kinds of constructs that ought to be searched for. > > -- > Derek M. Jones tel: +44 (0) 1252 520 667 > Knowledge Software Ltd mailto:derek@xxxxxxxxxxxx > Applications Standards Conformance Testing http://www.knosof.co.uk > > -- > To unsubscribe from this list: send the line "unsubscribe linux-sparse" in > the body of a message to majordomo@xxxxxxxxxxxxxxx > More majordomo info at http://vger.kernel.org/majordomo-info.html > -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
