possible deadlocks?

[David Schultz]

On Wed, Aug 06, 2003, Ted Unangst wrote:
> My advisor Dawson Engler has written a deadlock detector, and we'd like
> some verification. They look like bugs, unless there is some other reason
> why two call chains cannot happen at the same time.

Cool!  Is this a new checker for Metal?  Is there a chance that it
will be released other than as a commercial product through Coverity?