From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner+w=401wt.eu-S1756889AbZKRKf4@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1756889AbZKRKf4 (ORCPT <rfc822;w@1wt.eu>);
	Wed, 18 Nov 2009 05:35:56 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1756466AbZKRKfz
	(ORCPT <rfc822;linux-kernel-outgoing>);
	Wed, 18 Nov 2009 05:35:55 -0500
Received: from fg-out-1718.google.com ([72.14.220.157]:1930 "EHLO
	fg-out-1718.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
	with ESMTP id S1755919AbZKRKfy (ORCPT
	<rfc822;linux-kernel@vger.kernel.org>);
	Wed, 18 Nov 2009 05:35:54 -0500
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:x-enigmail-version:content-type
         :content-transfer-encoding;
        b=JEIyJntiTXeG0jrJJFd0ctkSlXMLhNdqeSD+zHL8Qg4SmQVOQnS0ESp/iZOZHJBlgd
         aW8WORHBIECA/IuIY4hCIrZp9OEfDvC2KTSVYitroiP4hTHOCd09WYbJC9R4h2+0/k73
         O8t13qxiRc9RXn+0jRDD6uzA+AvV/7jdr8WiI=
Message-ID: <4B03CE0C.3050604@gmail.com>
Date: Wed, 18 Nov 2009 11:35:56 +0100
From: Jiri Slaby <jirislaby@gmail.com>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; cs-CZ; rv:1.9.1.5) Gecko/20091117 SUSE/3.0.0-2.1 Thunderbird/3.0
MIME-Version: 1.0
To: Jiri Kosina <jkosina@suse.cz>
CC: LKML <linux-kernel@vger.kernel.org>
Subject: Re: Coverity checking periodicity?
References: <4B02601C.8000306@gmail.com> <alpine.LRH.2.00.0911181133360.31913@twin.jikos.cz>
In-Reply-To: <alpine.LRH.2.00.0911181133360.31913@twin.jikos.cz>
X-Enigmail-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 11/18/2009 11:34 AM, Jiri Kosina wrote:
> On Tue, 17 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.