parfait

[Brad Tilley]

I noticea tool called parfait is being used by some OpenBSD developers
to check code for problems. Is parfait available to average people?
Can't find a download for it.

http://research.sun.com/projects/parfait