Messages in this thread | | | From | (Joseph H. Buehler) | Subject | Re: Static analysis of the Linux kernel | Date | 03 Aug 1998 08:24:55 -0400 |
| |
Terry L Ridder <terrylr@tbcnet.com> writes:
> I am really jump into this thread rather late but I thought > I would share my experience at attempting to use CIAO from > AT&T Research Labs to analysis the Linux Kernel.
There's an awesome lint tool at www.gimpel.com. We use it where I work and it has found a lot of bugs. Perhaps they would be willing to give Linus a copy in exchange for some publicity.
Joe Buehler
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.altern.org/andrebalsa/doc/lkml-faq.html
| |