> 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