Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Mon, 11 Apr 2016 16:55:52 +0100
From: Eric Engeström <>
Subject: Re: Formal verification of MUSL

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 (
> >> I think the LibreOffice devs got
> >> good insights from it.
> >
> > What's needed to get it there?
> I have registered

"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.)

Content of type "text/html" skipped

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.