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 <razmys...@viva64.com>
To: Warren Block <wbl...@wonkity.com>
Cc: Andrey Karpov <kar...@viva64.com>; freebsd-doc@FreeBSD.org;
wbl...@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@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "freebsd-doc-unsubscr...@freebsd.org"
_______________________________________________
freebsd-doc@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "freebsd-doc-unsubscr...@freebsd.org"
