Checking FreeBSD kernel with static analyzer

[Warren Block]

On Thu, 18 Feb 2016, Russell Haley wrote:

> Thanks warren, send me the csv when you get a chance. I'd really
> appreciate it. You implied in previous emails that there is a larger
> discussion going on about reviewing the data. Is there a public chat
> anywhere? I see this as an excellent learning tool for studying the
> code.

The code review is now open: https://reviews.freebsd.org/D5245

The unrestricted use original zip file supplied by PVS contained both 
text and CSV report files.  It is available here:

https://people.freebsd.org/~wblock/files/PVS-Studio-log-freebsd.zip

Thanks again to PVS for providing this!