From: Luca Barbato <lu_zero@gentoo.org>
To: musl@lists.openwall.com
Subject: Re: Request for volunteers
Date: Mon, 01 Jul 2013 00:59:01 +0200 [thread overview]
Message-ID: <51D0B835.2080901@gentoo.org> (raw)
In-Reply-To: <CAMSMCxm7rjiFNhE6xnNZP5COuR-TtnBx=HbF=N_6XPeRYat4cg@mail.gmail.com>
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
next prev parent reply other threads:[~2013-06-30 22:59 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-06-30 5:52 Rich Felker
2013-06-30 10:48 ` Szabolcs Nagy
2013-07-01 3:51 ` Rich Felker
2013-07-01 20:58 ` Szabolcs Nagy
2013-07-01 23:59 ` Rich Felker
2013-07-02 2:19 ` Szabolcs Nagy
2013-07-02 7:49 ` Rich Felker
2013-07-16 16:20 ` Szabolcs Nagy
2013-07-17 15:41 ` Rich Felker
2013-06-30 11:02 ` Daniel Cegiełka
2013-06-30 12:13 ` Rich Felker
2013-06-30 22:29 ` idunham
2013-07-01 3:31 ` Rich Felker
2013-07-01 17:42 ` Isaac
2013-07-01 17:46 ` Alex Caudill
2013-07-01 21:12 ` Isaac
2013-07-01 3:13 ` Rob Landley
2013-07-01 3:43 ` Rich Felker
2013-06-30 15:25 ` Nathan McSween
2013-06-30 22:59 ` Luca Barbato [this message]
2013-07-01 11:42 ` LM
2013-07-04 18:05 ` Rob Landley
2013-07-08 7:40 ` Szabolcs Nagy
2013-07-09 2:14 ` Rob Landley
2013-07-09 2:57 ` Matthew Fernandez
2013-07-08 14:45 ` Rich Felker
2013-07-09 2:54 ` Rich Felker
2013-07-08 14:12 ` Anthony G. Basile
2013-07-01 17:44 Felix Janda
2013-07-02 1:08 ` Michael Kerrisk (man-pages)
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=51D0B835.2080901@gentoo.org \
--to=lu_zero@gentoo.org \
--cc=musl@lists.openwall.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/musl/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).