From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/3520 Path: news.gmane.org!not-for-mail From: Luca Barbato Newsgroups: gmane.linux.lib.musl.general Subject: Re: Request for volunteers Date: Mon, 01 Jul 2013 00:59:01 +0200 Message-ID: <51D0B835.2080901@gentoo.org> References: <20130630055202.GA16580@brightrain.aerifal.cx> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1372633133 14462 80.91.229.3 (30 Jun 2013 22:58:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 30 Jun 2013 22:58:53 +0000 (UTC) To: musl@lists.openwall.com Original-X-From: musl-return-3524-gllmg-musl=m.gmane.org@lists.openwall.com Mon Jul 01 00:58:55 2013 Return-path: Envelope-to: gllmg-musl@plane.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by plane.gmane.org with smtp (Exim 4.69) (envelope-from ) id 1UtQa6-0006pb-Ea for gllmg-musl@plane.gmane.org; Mon, 01 Jul 2013 00:58:54 +0200 Original-Received: (qmail 11661 invoked by uid 550); 30 Jun 2013 22:58:53 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: Original-Received: (qmail 11652 invoked from network); 30 Jun 2013 22:58:53 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130411 Thunderbird/17.0.5 In-Reply-To: Xref: news.gmane.org gmane.linux.lib.musl.general:3520 Archived-At: On 06/30/2013 05:25 PM, Nathan McSween wrote: >> 5. Rigorous testing. My ideal vision of this role is having somebody >> who takes a look at each bug fix committed and writes test cases >> for the bug and extrapolates tests for possible related bugs that >> haven't yet been found. And who reads the glibc bug tracker so we >> can take advantage of their bug reports too. > > This could be found using something like llvms Klee or any other smt bug > finder. IMO conformance tests should be written with the project otherwise > what is currently happening with musl (conformance tests don't exist or > have bugs) happens. > I suggest sparse[1], it is less known but decent. [1]https://sparse.wiki.kernel.org/index.php/Main_Page