From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/9894 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Eric_Engestr=C3=B6m?= Newsgroups: gmane.linux.lib.musl.general Subject: Re: Formal verification of MUSL Date: Mon, 11 Apr 2016 16:55:52 +0100 Message-ID: References: <20160411042313.GT21636@brightrain.aerifal.cx> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a114b19684ae96505303794c5 X-Trace: ger.gmane.org 1460390189 830 80.91.229.3 (11 Apr 2016 15:56:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 11 Apr 2016 15:56:29 +0000 (UTC) To: musl@lists.openwall.com Original-X-From: musl-return-9907-gllmg-musl=m.gmane.org@lists.openwall.com Mon Apr 11 17:56:09 2016 Return-path: Envelope-to: gllmg-musl@m.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by plane.gmane.org with smtp (Exim 4.69) (envelope-from ) id 1apeC9-0002hW-DR for gllmg-musl@m.gmane.org; Mon, 11 Apr 2016 17:56:09 +0200 Original-Received: (qmail 26618 invoked by uid 550); 11 Apr 2016 15:56:06 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Original-Received: (qmail 26600 invoked from network); 11 Apr 2016 15:56:06 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to; bh=KXMHsdl0ffzGfqYV+Khvm4pyAcAVMhhMrY44jOvGq98=; b=snPna+VELdIl9RfohgYj/gX/j+MeOTHdAap3d30TCA6C7bp19EkvXu9XfrlLNrgK72 LLRE8ZIPRSpp/f/aKsRyhuaGg4GvTSAy+nDnoyaOCXvY/zNsWdjPZRBnqG7Dw3mlGvyA kkTx1cILSQJ4dc73IyEtv/2bt0HiorIMkh1PxQbNBEjmvt62sh70iQBFY3V2HyD4+yJN QrSfAYuE+CToDIgXEqIDWDqyA9rJNEBV1Tq4IF2eGAx7sa1KeAYRRcTLr+FfsVjGUqAx R/aU7YRT1KmanRDBzEuqChLLA2z9xcQsZwc7Pdfx9XtAPO6laZxkaNBwKjkstZkDVPJl YQVg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:reply-to:in-reply-to:references :date:message-id:subject:from:to; bh=KXMHsdl0ffzGfqYV+Khvm4pyAcAVMhhMrY44jOvGq98=; b=X2YasSGT66qKxKc4LI6is3QGwtsiaM36X8osMBYdmHJxmEWynGNUIPws3UxqQuP5QK Jvql+zCMJXnGuOx2mpPxi1sa2XdlKxiMTzkx4Qx5l/u2Xmpg+aOJftF6DJWpqdxVqM1o VVDMln2wIrCKMDLXTlyX9R84014Fphhhp7s+P//PUlGVJObg7IQdDqrzZnxcaCpnRhhb Nv8ADaaVpKoyonPchN8YbDzVHp/ssI2uVB3FHUrahqWrRqN/3N7ZygSdXC2wGhXhhTCU IPQUPMecH+eTt2hJ+PIXFjkXSfh3cg4yc0M02mLNldoZ/jyR3FGBO8O/flxgv0JkoMj/ 3Eow== X-Gm-Message-State: AD7BkJIUqQIfQ7rOmlG3k4EWE3vmE7qTTbpFmbzIqD557BvkPckXL1ItcOIXYukLCYdjzVi7zZb1RB5yPaHrGg== X-Received: by 10.28.189.10 with SMTP id n10mr20048588wmf.101.1460390152815; Mon, 11 Apr 2016 08:55:52 -0700 (PDT) In-Reply-To: Xref: news.gmane.org gmane.linux.lib.musl.general:9894 Archived-At: --001a114b19684ae96505303794c5 Content-Type: text/plain; charset=UTF-8 On 11 Apr 2016 5:36 a.m., "Khem Raj" wrote: > > On Sun, Apr 10, 2016 at 9:23 PM, Rich Felker wrote: > >> p.s. I don't see MUSL on the free Coverity deal ( > >> https://scan.coverity.com/projects). I think the LibreOffice devs got some > >> good insights from it. > > > > What's needed to get it there? > > I have registered > > https://scan.coverity.com/projects/libc-musl "You are not authorized to access this page." I have no experience with Coverity, but I guess you missed a step to make it public. (The search also comes up empty.) --001a114b19684ae96505303794c5 Content-Type: text/html; charset=UTF-8

On 11 Apr 2016 5:36 a.m., "Khem Raj" <raj.khem@gmail.com> wrote:
>
> On Sun, Apr 10, 2016 at 9:23 PM, Rich Felker <dalias@libc.org> wrote:
> >> p.s. I don't see MUSL on the free Coverity deal (
> >> https://scan.coverity.com/projects). I think the LibreOffice devs got some
> >> good insights from it.
> >
> > What's needed to get it there?
>
> I have registered
>
> https://scan.coverity.com/projects/libc-musl

"You are not authorized to access this page."
I have no experience with Coverity, but I guess you missed a step to make it public. (The search also comes up empty.)

--001a114b19684ae96505303794c5--