From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/9977 Path: news.gmane.org!not-for-mail From: Joe Duarte Newsgroups: gmane.linux.lib.musl.general Subject: Re: Formal verification of MUSL Date: Sun, 1 May 2016 17:35:56 -0700 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=001a113724160450840531d12d07 X-Trace: ger.gmane.org 1462149378 7926 80.91.229.3 (2 May 2016 00:36:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 2 May 2016 00:36:18 +0000 (UTC) To: musl@lists.openwall.com Original-X-From: musl-return-9990-gllmg-musl=m.gmane.org@lists.openwall.com Mon May 02 02:36:12 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 1ax1qN-00013E-I1 for gllmg-musl@m.gmane.org; Mon, 02 May 2016 02:36:11 +0200 Original-Received: (qmail 23970 invoked by uid 550); 2 May 2016 00:36:09 -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 23951 invoked from network); 2 May 2016 00:36:08 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to; bh=rtUle5x0t/DUg7098NJcA0NdMMhtyAjX7472c6cKdNE=; b=q42L1zQesPtw7QFGSOK2kO/ScBHbpm86aDJqVSqsx1DrEHlD5yhuqh7Ob9LbAKfySW /j+3cFVdvgySvSTzk5Fm0t2wRWImhLykEF+jdEhvAp8clxWHSO7JQ+o1MBC6vcvXFPGy +atDWeN6rP4kEXb+X6jcWIBs1Y9iyijlbHLvKTX6UVDhmQt7ousImCpypmh6D3lsnk5O 8WYvXjGLU7In7SIj3IOIVaw1ZSyEJeaCoV1Moh2j/zNDsmhlPLJSkzT00qYUBTMxVV+M WK0IoD1cwoUenVzE0sLzVyY8D5xhZv3yWVzYpfrZ/8v5HEjDIOETHPtomi9cAwYc3Ijh kBRQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to; bh=rtUle5x0t/DUg7098NJcA0NdMMhtyAjX7472c6cKdNE=; b=RyY8UIC2lNMcDwnPg0UxwGm0hsvXFuVTmvyU0E4ar6AsBsASl1Hus8WyK5BGA1kKNq ALw7W/JAk1HTiirn/0No4ljaijPYfIvt0bHMS65GrfhXH8rms8LokFtUf5u52XgXYwiE sAzkt6LFZLGXWqx9BZzVaHXsUu7ZVJ3LiIm5RygJDU42Ws/HssZu/IiH/vv6H0BGcK9h Uyp/zp7MjZ8mE/pCUGA/paCc3bitcXUr6p8JQMdNOwPE0o1zJp1EFmBtla/G9Fmc5N2d RZEi10xdveSrcDTcr44LcLqrENYHmmexQi4B/SbRin5WT2qmcNXGskNrU3DU6Nn0Fzi7 bshQ== X-Gm-Message-State: AOPr4FWfXlbfKVOd9/QVdzHizJ+Gm1MlfyNNil3iydM4J0bfRD0K0qb169IAJ4/O+ZlZac14aURrPWq9yXN8pQ== X-Received: by 10.176.2.50 with SMTP id 47mr18020899uas.45.1462149356734; Sun, 01 May 2016 17:35:56 -0700 (PDT) In-Reply-To: Xref: news.gmane.org gmane.linux.lib.musl.general:9977 Archived-At: --001a113724160450840531d12d07 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Mon, Apr 11, 2016 at 8:55 AM, Eric Engestr=C3=B6m wrote: > 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.) > =E2=80=8BWhat's the status on Coverity? I'm still getting the "You are not authorized to access this page." message that Eric reported. And when I search Coverity Scan for musl, nothing comes up.=E2=80=8B Cheers, Joe --001a113724160450840531d12d07 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


= On Mon, Apr 11, 2016 at 8:55 AM, Eric Engestr=C3=B6m <= eric.engestro= m@gmail.com> wrote:

On 11 Apr 2016 5:36 a.m., &= quot;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 g= ot 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 i= t public. (The search also comes up empty.)


=
=E2=80=8BW= hat's the status on Coverity? I'm still getting the "You are n= ot authorized to access this page." message that Eric reported. And wh= en I search Coverity Scan for musl, nothing comes up.=E2=80=8B

Cheers,

Joe

--001a113724160450840531d12d07--