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 [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
[Index of Archives]
[Kernel Newbies]
[Netfilter]
[Bugtraq]
[Photo]
[Stuff]
[Gimp]
[Yosemite News]
[MIPS Linux]
[ARM Linux]
[Linux Security]
[Linux RAID]
[Video 4 Linux]
[Linux for the blind]
[Linux Resources]
