Checking FreeBSD kernel with static analyzer

[Warren Block]

Added, thanks!

On Wed, 17 Feb 2016, Svyatoslav Razmyslov wrote:

> Hi, Warren.
>
> We've published the article on our site, here is the message from our PR:
>
> Analysis of FreeBSD kernel by PVS-Studio.
> The development team of PVS-Studio static code analyzer checked FreeBSD OS 
> kernel and published an article <link here>, describing the most suspicious 
> fragments.
>
> http://www.viva64.com/en/b/0377/
>
> Thanks!
>
> 10.02.2016 19:55, Warren Block пишет:
>> On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
>> 
>>> The analysis report (filtered for most interesting messages) is attached, 
>>> you can use it without any restrictions. To use the report, please append 
>>> the beginning of the paths to files with the path to a directory 
>>> containing kernel sources (replace |?| in case of csv).
>>> 
>>> Our article itself will be ready approximately in a week, we well 
>>> appreciate if you could post about it in a news section on 
>>> www.freebsd.org.
>> 
>> Please notify me or the freebsd-doc mailing list when the article is ready.
>> 
>> Thanks!
>> 
>
>
>