Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1422769AbWJLG6F (ORCPT ); Thu, 12 Oct 2006 02:58:05 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1422772AbWJLG6F (ORCPT ); Thu, 12 Oct 2006 02:58:05 -0400 Received: from mx1.redhat.com ([66.187.233.31]:16041 "EHLO mx1.redhat.com") by vger.kernel.org with ESMTP id S1422769AbWJLG6C (ORCPT ); Thu, 12 Oct 2006 02:58:02 -0400 Date: Thu, 12 Oct 2006 02:57:57 -0400 From: Dave Jones To: J R Cc: linux-kernel@vger.kernel.org Subject: Re: Bugs in (2.6.18) from static analysis tool Message-ID: <20061012065757.GA680@redhat.com> Mail-Followup-To: Dave Jones , J R , linux-kernel@vger.kernel.org References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4.2.2i Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1309 Lines: 31 On Wed, Oct 11, 2006 at 10:06:22PM -0700, J R wrote: > Hi, > > We are in the final stages of refining a new static analysis framework and > are testing it out on various large open source software projects (like > other ventures in this space). > > Unlike other enterprises, we are making a linux intraprocedural analysis > tool openly available in binary form to allow our results to be reproduced > and validated. Ditto the bug lists. > > Although this is commercial software, our team are all strong OS advocates > and contributors. We hope to release some components of this project on an > OS basis just as soon as we can trash out a solid plan which allows this > while also enabling us to purchase food. > > I've only attached 1 or 2 bugs at the end here (the full list is about 10K > ascii text), there are at www.cqsat.com/linux.html#bugs. There's about 50 > and I recon 20 or so are both real and not yet identified. The bugs-2.6.18.txt file is the same as the bugs-2.6.9.txt file. Dave -- http://www.codemonkey.org.uk - 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/