I've got some very real value out of static analysis tools, so I don't know quite what to say about all that. For sure it is a tool that takes time and effort t

I've got some very real value out of static analysis tools, so I don't know quite what to say about all that. For sure it is a tool that takes time and effort to use correctly. Having used it, it can sometimes take a little imagination to consider how much time might have been wasted later in the game had the tool not been used. Not sure that any of that has to do with FreeBSD's use of Coverity, which I'm curious about. (rereading the OP I guess I'm not sure the FreeBSD project itself is a regular user of Coverity or if there's something else to it)