Checking FreeBSD kernel with static analyzer

[Fehmi Noyan ISI]

Hi Svyatoslav,
Seems like an interesting report! 

Wonder if all those findings will be submitted in the form of bug reports or email to individual developers working on the particular project that the bug is addressed.



      From: Svyatoslav Razmyslov <razmyslov at viva64.com>
 To: Warren Block <wblock at wonkity.com> 
Cc: Andrey Karpov <karpov at viva64.com>; freebsd-doc at FreeBSD.org; wblock at FreeBSD.org
 Sent: Thursday, February 18, 2016 4:14 AM
 Subject: Re: Checking FreeBSD kernel with static analyzer
   
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!
>


-- 
Svyatoslav Razmyslov
"Program Verification Systems" (Co Ltd)

_______________________________________________
freebsd-doc at freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "freebsd-doc-unsubscribe at freebsd.org"