Re: Bugs in (2.6.18) from static analysis tool

[Dave Jones]

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@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/