linux-kernel - Re: Coverity Scan model file, license, public access

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <a41221c8-86e5-494d-68fd-0a0b87c99e83@amazon.de>
Date:   Thu, 15 Jul 2021 15:12:04 +0200
From:   Norbert Manthey <nmanthey@...zon.de>
To:     Kroah-Hartman <greg@...ah.com>
CC:     LKML <linux-kernel@...r.kernel.org>,
        "Woodhouse, David" <dwmw@...zon.co.uk>,
        "foersleo@...zon.de" <foersleo@...zon.de>,
        Gustavo Pimentel <gustavo.pimentel@...opsys.com>,
        "Gustavo A. R. Silva" <garsilva@...eddedor.com>,
        Kees Cook <keescook@...omium.org>,
        Thomas Gleixner <tglx@...utronix.de>
Subject: Re: Coverity Scan model file, license, public access

On 7/6/21 6:54 PM, Kroah-Hartman wrote:
> 
> 
> On Tue, Jul 06, 2021 at 09:45:47AM +0200, Norbert Manthey wrote:
>> Dear all,
>>
>> I would like to work with code analysis on the Linux kernel. The
>> currently used Coverity setup already uses a model file [1] to improve
>> the precision of the analysis. To the best of my knowledge, this model
>> file is currently not publicly accessible. I did not find a license
>> attached to  [1], nor any information about licensing.
> 
> I have no idea who wrote that thing, sorry.

Is there anybody else who knows more about the history of the used
Coverity model? Thanks.

Best,
Norbert



Amazon Development Center Germany GmbH
Krausenstr. 38
10117 Berlin
Geschaeftsfuehrung: Christian Schlaeger, Jonathan Weiss
Eingetragen am Amtsgericht Charlottenburg unter HRB 149173 B
Sitz: Berlin
Ust-ID: DE 289 237 879