From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner+w=401wt.eu-S1753787AbZKRLwd@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1753787AbZKRLwd (ORCPT <rfc822;w@1wt.eu>);
	Wed, 18 Nov 2009 06:52:33 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1753574AbZKRLwd
	(ORCPT <rfc822;linux-kernel-outgoing>);
	Wed, 18 Nov 2009 06:52:33 -0500
Received: from cantor2.suse.de ([195.135.220.15]:52146 "EHLO mx2.suse.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1753547AbZKRLwc (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Wed, 18 Nov 2009 06:52:32 -0500
Date: Wed, 18 Nov 2009 12:52:38 +0100 (CET)
From: Jiri Kosina <jkosina@suse.cz>
X-X-Sender: jkosina@wotan.suse.de
To: Jiri Slaby <jirislaby@gmail.com>
Cc: LKML <linux-kernel@vger.kernel.org>
Subject: Re: Coverity checking periodicity?
In-Reply-To: <4B03DE53.2030607@gmail.com>
Message-ID: <alpine.LSU.2.00.0911181252140.15039@wotan.suse.de>
References: <4B02601C.8000306@gmail.com> <alpine.LRH.2.00.0911181133360.31913@twin.jikos.cz> <4B03CE0C.3050604@gmail.com> <4B03DE53.2030607@gmail.com>
User-Agent: Alpine 2.00 (LSU 1167 2008-08-23)
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Wed, 18 Nov 2009, Jiri Slaby wrote:

> >>> please, doesn't anybody have an idea on how often is Coverity run on the 
> >>> kernel? Doesn't anybody know about any materials regarding this?
> >>
> >> I'd suggest contacting linux@coverity.com.
> > 
> > I tried info@ already (no reply so far). Will try that too. Thanks.
> 
> JFYI
> 550 No such user (linux@coverity.com) (state 14).

Hmm, that used to be contact for linux kernel bugs as far as I remember 
... maybe they stopped caring for kernel bugs completely?

-- 
Jiri Kosina
SUSE Labs, Novell Inc.