ReactOs has started to use Coverity to analyse their code and help identify problems.

Would this be of any help to Haiku?

Haiku has also recently ran another Coverity scan of the source code as well.

(See 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.