On Fri, Mar 25, 2005 at 12:21:54AM -0800, Andrew Morton wrote:
>  More fixlets derived from the Coverity tool (does this thing have a name?)

AFAICT the name of the tool is "Coverity Prevent". (But I'm not
absolutely 100% sure.)

-Barry K. Nathan <[EMAIL PROTECTED]>

-
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/

Reply via email to