lkml.org 
[lkml]   [1998]   [Aug]   [3]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectRe: Static analysis of the Linux kernel
Date
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

\
 
 \ /
  Last update: 2005-03-22 13:43    [W:0.051 / U:0.044 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site