Stanford Checker

[David.Goodenough at dga.co.uk]

Maybe we have to ask them to check our code, rather than the other way
around?





Patrik Stridvall <ps at leissner.se> on 05-06-2001 12:31:25 PM

To:   David Goodenough/DGA/GB
cc:   wine-devel at winehq.com
Subject:  RE: Stanford Checker




[Forgot to include list. Trying again.]

> On the kernel list and in Alan Cox's patches for the kernel
> there are a lot
> of references to some logic checking tools being generated by
> Stanford.  I
> do not know if these are generally available but has anyone thought of
> running these against Wine?

Yes, I have.

However the problem is that it is not publicly available (yet) and
I read somewhere (don't remember where) that it is no use trying
to get copy even if you promise not to distribute it further.

I will probably look into it when it is released. I have no
idea when that will be though.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: att1.eml
Type: application/octet-stream
Size: 1551 bytes
Desc: not available
Url : http://www.winehq.org/pipermail/wine-devel/attachments/20010605/4777e51d/att1.obj