From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Dan Carpenter" Subject: Re: Moving smatch to use sparse Date: Sat, 15 Jul 2006 17:42:46 -0700 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from ug-out-1314.google.com ([66.249.92.170]:31643 "EHLO ug-out-1314.google.com") by vger.kernel.org with ESMTP id S964819AbWGPAms (ORCPT ); Sat, 15 Jul 2006 20:42:48 -0400 Received: by ug-out-1314.google.com with SMTP id m3so1263657ugc for ; Sat, 15 Jul 2006 17:42:46 -0700 (PDT) In-Reply-To: Content-Disposition: inline Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: smatch-discuss@lists.sf.net Cc: linux-sparse@vger.kernel.org On 7/14/06, Dan Carpenter wrote: > I've been porting smatch to c using sparse as a front end. I'm going to post the diff's at http://smatch.sourceforge.net/sparse/ I'll send another email once some checks are working... regards, dan carpenter