From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner+w=401wt.eu-S1751829AbZFBL47@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1751829AbZFBL47 (ORCPT <rfc822;w@1wt.eu>);
	Tue, 2 Jun 2009 07:56:59 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1750965AbZFBL4v
	(ORCPT <rfc822;linux-kernel-outgoing>);
	Tue, 2 Jun 2009 07:56:51 -0400
Received: from one.firstfloor.org ([213.235.205.2]:35190 "EHLO
	one.firstfloor.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
	with ESMTP id S1750776AbZFBL4u (ORCPT
	<rfc822;linux-kernel@vger.kernel.org>);
	Tue, 2 Jun 2009 07:56:50 -0400
To: Dan Carpenter <error27@gmail.com>
Cc: linux-kernel@vger.kernel.org
Subject: Re: smatch 1.53 released
From: Andi Kleen <andi@firstfloor.org>
References: <alpine.DEB.2.00.0906021141010.19390@bicker>
Date: Tue, 02 Jun 2009 13:56:45 +0200
In-Reply-To: <alpine.DEB.2.00.0906021141010.19390@bicker> (Dan Carpenter's message of "Tue, 2 Jun 2009 11:41:06 +0300 (EAT)")
Message-ID: <87iqjedf2a.fsf@basil.nowhere.org>
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/22.3 (gnu/linux)
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

Dan Carpenter <error27@gmail.com> writes:

> Smatch is a source code checker for C.  Right now the focus is on checking 
> for kernel bugs.

Could you give a quick overview on what kinds of bugs it looks for
and where the limitations are?

Thanks,

-Andi

-- 
ak@linux.intel.com -- Speaking for myself only.