From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner+w=401wt.eu-S1754908AbZKQIeh@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1754908AbZKQIeh (ORCPT <rfc822;w@1wt.eu>);
	Tue, 17 Nov 2009 03:34:37 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1754832AbZKQIeg
	(ORCPT <rfc822;linux-kernel-outgoing>);
	Tue, 17 Nov 2009 03:34:36 -0500
Received: from fg-out-1718.google.com ([72.14.220.156]:3004 "EHLO
	fg-out-1718.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
	with ESMTP id S1754794AbZKQIed (ORCPT
	<rfc822;linux-kernel@vger.kernel.org>);
	Tue, 17 Nov 2009 03:34:33 -0500
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:subject
         :x-enigmail-version:content-type:content-transfer-encoding;
        b=RPl9I2j2zvbW/ArvlQdPUaD3Z5te9PagdZ92wM93+Q+Cy6bqvdelW7IYHUBYsCz67w
         Cj1dhrAZN1KKBlMKZ64vPxcoxGDiJ945STeOfcjXpogo+Yf7L6sTiWbxl8rbIBHlCIpH
         L6UTO0a/fHDFj9rTaBo+b6DSy0dfM09/iinvY=
Message-ID: <4B02601C.8000306@gmail.com>
Date: Tue, 17 Nov 2009 09:34:36 +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/20091112 SUSE/3.0.0-1.1 Thunderbird/3.0
MIME-Version: 1.0
To: LKML <linux-kernel@vger.kernel.org>
Subject: Coverity checking periodicity?
X-Enigmail-Version: 0.97b
Content-Type: text/plain; charset=ISO-8859-2
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

Hi,

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?

Thanks.