smatch, something like the Stanford Checker

[Dimitrie O. Paun]

On February 9, 2003 07:09 pm, Michael Stefaniuc wrote:
> It's a project from KernelJanitors and it seems usefull, 
> at least it's worth an entry on Dimi's janitorial page.

Way cool! And it's on the page:
    http://www.dssd.ca/wine/Wine-Janitorial.html

I have to tell you that when I started my Ph.D., I intended to
build a tool akin to the Stanford Checker, and apply it to
the Wine tree. It's good that I haven't persued the idea, since
the Stanford guys would have bit me to the punch, and I would
have had to start all over again. :/

-- 
Dimi.