Date: Wed, 10 Feb 2016 11:47:01 -0700 (MST) From: Warren Block <wblock@wonkity.com> To: Svyatoslav Razmyslov <razmyslov@viva64.com> Cc: freebsd-doc@FreeBSD.org, Andrey Karpov <karpov@viva64.com>, wblock@FreeBSD.org Subject: Re: Checking FreeBSD kernel with static analyzer Message-ID: <alpine.BSF.2.20.1602101145330.99531@wonkity.com> In-Reply-To: <56BB5718.1090700@viva64.com> References: <56BB00C3.5060309@viva64.com> <alpine.BSF.2.20.1602100806460.99531@wonkity.com> <56BB5718.1090700@viva64.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote: > Hi, Warren. > > 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. An additional question: which Subversion revision of the FreeBSD kernel was checked out for the analysis? Thanks!
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?alpine.BSF.2.20.1602101145330.99531>