ReactOs has started to use Coverity to analyse their code and help identify problems.
http://www.reactos.org/en/newsletter_79.html
Would this be of any help to Haiku?
Haiku has also recently ran another Coverity scan of the source code as well.
(See http://dev.haiku-os.org/search?q=cid for bug fixes)
I guess Haiku feels a Coverity scan as being less newsworthy than how reactos feels.
Haiku is already using Coverity.
Some extra information on Haiku using Coverity.