From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Alexey Zaytsev" Subject: Re: Sparse and the Google Summer of Code 2008 Date: Wed, 12 Mar 2008 05:20:54 +0300 Message-ID: References: <47D6CD7F.6010800@kernel.org> <47D734C2.1020903@knosof.co.uk> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Return-path: Received: from wx-out-0506.google.com ([66.249.82.228]:43945 "EHLO wx-out-0506.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751012AbYCLCU4 (ORCPT ); Tue, 11 Mar 2008 22:20:56 -0400 Received: by wx-out-0506.google.com with SMTP id h31so2851370wxd.4 for ; Tue, 11 Mar 2008 19:20:55 -0700 (PDT) In-Reply-To: <47D734C2.1020903@knosof.co.uk> Content-Disposition: inline Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Derek M Jones Cc: Josh Triplett , linux-sparse@vger.kernel.org On 3/12/08, Derek M Jones 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@knosof.co.uk > 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@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html >