Date: Thu, 18 Feb 2016 07:33:26 -0700 (MST) From: Warren Block <wblock@wonkity.com> To: Fehmi Noyan ISI <fnoyanisi@yahoo.com> Cc: Svyatoslav Razmyslov <razmyslov@viva64.com>, Andrey Karpov <karpov@viva64.com>, "freebsd-doc@FreeBSD.org" <freebsd-doc@FreeBSD.org> Subject: Re: Checking FreeBSD kernel with static analyzer Message-ID: <alpine.BSF.2.20.1602180724110.18482@wonkity.com> In-Reply-To: <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> References: <56C48E65.8040309@viva64.com> <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, 17 Feb 2016, Fehmi Noyan ISI via freebsd-doc wrote: > 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. Developers have been reviewing it for the last few days. This review was initially limited to committers in case there were any security surprises that needed to be addressed. That was my idea, and possibly not necessary. Some of the reported items have been identified as actual bugs and fixed, and some have been identified as false positives. The review will be opened up to everyone in the next few days. I can speak for many when saying we appreciate this review and want to thank PVS for providing it.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?alpine.BSF.2.20.1602180724110.18482>