All of lore.kernel.org
 help / color / mirror / Atom feed
From: Norbert Manthey <nmanthey@amazon.de>
To: Kroah-Hartman <greg@kroah.com>
Cc: LKML <linux-kernel@vger.kernel.org>,
	"Woodhouse, David" <dwmw@amazon.co.uk>,
	"foersleo@amazon.de" <foersleo@amazon.de>,
	Gustavo Pimentel <gustavo.pimentel@synopsys.com>,
	"Gustavo A. R. Silva" <garsilva@embeddedor.com>,
	Kees Cook <keescook@chromium.org>,
	Thomas Gleixner <tglx@linutronix.de>
Subject: Re: Coverity Scan model file, license, public access
Date: Thu, 15 Jul 2021 15:12:04 +0200	[thread overview]
Message-ID: <a41221c8-86e5-494d-68fd-0a0b87c99e83@amazon.de> (raw)
In-Reply-To: <YOSKuEcPoy/dw0st@kroah.com>

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



  parent reply	other threads:[~2021-07-15 13:12 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-07-06  7:45 Coverity Scan model file, license, public access Norbert Manthey
2021-07-06 16:54 ` Kroah-Hartman
     [not found]   ` <6f1cb856-fc72-cfd1-9bdd-b4dbf58c558c@amazon.de>
2021-07-06 18:41     ` Kroah-Hartman
     [not found]       ` <b5f5c38c-5691-816d-f14c-8a82be7d9456@amazon.de>
2021-07-07  5:16         ` Kroah-Hartman
2021-07-15 13:12   ` Norbert Manthey [this message]
2021-07-15 18:25     ` Kees Cook
2021-07-16 10:26       ` Norbert Manthey
2021-12-17 19:32       ` Muhammad Usama Anjum
2021-12-17 20:03         ` Gustavo A. R. Silva
2021-12-17 23:31         ` Kroah-Hartman

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=a41221c8-86e5-494d-68fd-0a0b87c99e83@amazon.de \
    --to=nmanthey@amazon.de \
    --cc=dwmw@amazon.co.uk \
    --cc=foersleo@amazon.de \
    --cc=garsilva@embeddedor.com \
    --cc=greg@kroah.com \
    --cc=gustavo.pimentel@synopsys.com \
    --cc=keescook@chromium.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=tglx@linutronix.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.