From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/9891
Path: news.gmane.org!not-for-mail
From: Khem Raj <raj.khem@gmail.com>
Newsgroups: gmane.linux.lib.musl.general
Subject: Re: Formal verification of MUSL
Date: Sun, 10 Apr 2016 21:35:57 -0700
Message-ID: <CAMKF1sr5HCna2UPfbixU1+AcuWE5hw6hpRU_bxRiLtL=p9zMMQ@mail.gmail.com>
References: <CAESemU9=93jRCT9vT-N5+Lrg2m_wC1yECTtjMihdXcf34ffj2A@mail.gmail.com>
 <20160411042313.GT21636@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
X-Trace: ger.gmane.org 1460349402 26260 80.91.229.3 (11 Apr 2016 04:36:42 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Mon, 11 Apr 2016 04:36:42 +0000 (UTC)
To: musl@lists.openwall.com
Original-X-From: musl-return-9904-gllmg-musl=m.gmane.org@lists.openwall.com Mon Apr 11 06:36:42 2016
Return-path: <musl-return-9904-gllmg-musl=m.gmane.org@lists.openwall.com>
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 <musl-return-9904-gllmg-musl=m.gmane.org@lists.openwall.com>)
	id 1apTab-0002HF-00
	for gllmg-musl@m.gmane.org; Mon, 11 Apr 2016 06:36:41 +0200
Original-Received: (qmail 11319 invoked by uid 550); 11 Apr 2016 04:36:38 -0000
Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm
Precedence: bulk
List-Post: <mailto:musl@lists.openwall.com>
List-Help: <mailto:musl-help@lists.openwall.com>
List-Unsubscribe: <mailto:musl-unsubscribe@lists.openwall.com>
List-Subscribe: <mailto:musl-subscribe@lists.openwall.com>
List-ID: <musl.lists.openwall.com>
Original-Received: (qmail 11300 invoked from network); 11 Apr 2016 04:36:38 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to;
        bh=Fk46S7DQqpWCmTk6X0OqDMRdFl57CPhL1xiPMicfiOo=;
        b=D5aCouh/Sb0ExQ/b+wqwwIoPA186wxIIJMHMRobzsfYYMmFSSDzKcn8jK02cAy9gtD
         ATBraW4EAiwW0JdQbHcF1hl+KuqDYbERNMFTf3z5wdjLFJViJdsm0amBBVnDNrXDU3/3
         mkKF4habz6Yqt8aZRfSO0P7L6ylH9AGtsfeVw/0Oh3ZfCauhdV7NsNJ4vLUyJrMhZn+n
         fHye9KSBUG6fp7cWHnpg6CIPBtyqw3PTx9n3qbSGU1HUbKXDDF6kfL33PB+G4FoMYa5h
         x9ttcCKjdsZkpYYMJ5Rkzyu/l2rqgj7TlqwFaKrbOrdubEtQ2T9y6BjPT0jO0TFdU3OG
         dBvQ==
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:from:date
         :message-id:subject:to;
        bh=Fk46S7DQqpWCmTk6X0OqDMRdFl57CPhL1xiPMicfiOo=;
        b=RDCjVK8vLX2H5NMtG97d/kYxwpVsHbGk49AOlcRisIRrcAkHN9SuE5G/vfSeaJigCY
         kMPb3OWsnb3gmdiDtQScB0Nk6bdFcqNjQJaaKGSDnwGRh0k57qEEdxI1PXPDMXzO5CMf
         rDsTeVvDftZNaD3GJDDan2WCDsu2srRk+uPtLuoLC3UkUo3hqPlzyjvM4lGwixEeCemI
         YT5Zgu2HXpH8rxc565HSCCUtSgeeg3mIAH27sh1bgefMK+P6gvf/WNAaKC3LcGw7LuHt
         MZgpflyGiauIXgeLDe5GVz5+p+hbQrRrNPYzXCG4DMUlpXcdM6FPMMVXSuTB5tuFqaKo
         Zlcg==
X-Gm-Message-State: AD7BkJL4MsLXekWL/8zxczl2AUnqp4C4Grz3Z4AQfgzKkkBZ9l/ru0uUhwGKPWWs1aKYzA9A87v/OqjH9uueDA==
X-Received: by 10.55.78.70 with SMTP id c67mr25685595qkb.37.1460349386738;
 Sun, 10 Apr 2016 21:36:26 -0700 (PDT)
In-Reply-To: <20160411042313.GT21636@brightrain.aerifal.cx>
Xref: news.gmane.org gmane.linux.lib.musl.general:9891
Archived-At: <http://permalink.gmane.org/gmane.linux.lib.musl.general/9891>

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