[CHECKER] Stanford enhanced gcc found 741 errors in wine source

[Dan Kegel]

... just kidding.  Has anyone else been watching the
success of the Stanford MC team in finding linux kernel
bugs using an enhanced version of gcc?  See
http://www.lwn.net/2001/0322/kernel.php3
and scroll down to 'Global Kernel Analysis'.  They've
done a fabulous job.  This and the Kernel Janitor project
promise to help keep the linux kernel stable even in those
funny corner cases that don't get exercised enough to make
the bugs easy to track down.

Would Wine be another possible application of the MC work?
- Dan