Date: Wed, 17 Feb 2016 18:14:45 +0300 From: Svyatoslav Razmyslov <razmyslov@viva64.com> To: Warren Block <wblock@wonkity.com> Cc: freebsd-doc@FreeBSD.org, Andrey Karpov <karpov@viva64.com>, wblock@FreeBSD.org Subject: Re: Checking FreeBSD kernel with static analyzer Message-ID: <56C48E65.8040309@viva64.com> In-Reply-To: <alpine.BSF.2.20.1602100927570.99531@wonkity.com> References: <56BB00C3.5060309@viva64.com> <alpine.BSF.2.20.1602100806460.99531@wonkity.com> <56BB5718.1090700@viva64.com> <alpine.BSF.2.20.1602100927570.99531@wonkity.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?56C48E65.8040309>