[gillianseed]

Well Haiku makes use of Coverity so they should be part of the comparison, I know FreeBSD used it in the past but I'm not sure nowadays.