Return-Path: <linux-kernel-owner+akpm=40zip.com.au@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S316709AbSFJHTr>; Mon, 10 Jun 2002 03:19:47 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S316715AbSFJHTq>; Mon, 10 Jun 2002 03:19:46 -0400
Received: from denise.shiny.it ([194.20.232.1]:63111 "EHLO denise.shiny.it")
	by vger.kernel.org with ESMTP id <S316709AbSFJHTq>;
	Mon, 10 Jun 2002 03:19:46 -0400
Message-ID: <XFMail.20020610091911.pochini@shiny.it>
X-Mailer: XFMail 1.4.7 on Linux
X-Priority: 3 (Normal)
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 8bit
MIME-Version: 1.0
In-Reply-To: <200206100607.XAA17282@csl.Stanford.EDU>
Date: Mon, 10 Jun 2002 09:19:11 +0200 (CEST)
From: Giuliano Pochini <pochini@shiny.it>
To: Dawson Engler <engler@csl.Stanford.EDU>
Subject: Re: [CHECKER] 54 missing null pointer checks in 2.4.17
Cc: linux-kernel@vger.kernel.org
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org


> which means there are indeed bugs in jbd, just not the one we flagged ;-)

I was wondering what toold you use to catch these bugs... What is jbd ?


Bye.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/