Hi,
"Peter T. Breuer" wrote:
> As I said, nobody has been too precise about the bugs to me either!
So let's be precise first! Please?
I've asked Linus about examples, so far I've seen only buggy
implementations of min() or an example, where min() shouldn't be used in
first place. Maybe I missed something, then I'm deeply sorry for this,
but all I want to know is, what are we fixing here?
> Stanford checker? Is that a programmable C type checker? If so, lemmee
> at it. Have you a URL, btw?
http://verify.stanford.edu/SVC/
You should search the archive to look for some good examples, how it can
help.
bye, Roman
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Fri Aug 31 2001 - 21:00:33 EST