[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAMKF1sr5HCna2UPfbixU1+AcuWE5hw6hpRU_bxRiLtL=p9zMMQ@mail.gmail.com>
Date: Sun, 10 Apr 2016 21:35:57 -0700
From: Khem Raj <raj.khem@...il.com>
To: musl@...ts.openwall.com
Subject: Re: Formal verification of MUSL
On Sun, Apr 10, 2016 at 9:23 PM, Rich Felker <dalias@...c.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
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
