From owner-freebsd-doc@freebsd.org  Thu Feb 18 14:33:27 2016
Return-Path: <owner-freebsd-doc@freebsd.org>
Delivered-To: freebsd-doc@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id C7AE0AAD2B1
 for <freebsd-doc@mailman.ysv.freebsd.org>;
 Thu, 18 Feb 2016 14:33:27 +0000 (UTC)
 (envelope-from wblock@wonkity.com)
Received: from wonkity.com (wonkity.com [67.158.26.137])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client CN "wonkity.com", Issuer "wonkity.com" (not verified))
 by mx1.freebsd.org (Postfix) with ESMTPS id 984B11799
 for <freebsd-doc@FreeBSD.org>; Thu, 18 Feb 2016 14:33:27 +0000 (UTC)
 (envelope-from wblock@wonkity.com)
Received: from wonkity.com (localhost [127.0.0.1])
 by wonkity.com (8.15.2/8.15.2) with ESMTPS id u1IEXQHj033033
 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO);
 Thu, 18 Feb 2016 07:33:26 -0700 (MST)
 (envelope-from wblock@wonkity.com)
Received: from localhost (wblock@localhost)
 by wonkity.com (8.15.2/8.15.2/Submit) with ESMTP id u1IEXQAY033030;
 Thu, 18 Feb 2016 07:33:26 -0700 (MST)
 (envelope-from wblock@wonkity.com)
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
In-Reply-To: <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com>
Message-ID: <alpine.BSF.2.20.1602180724110.18482@wonkity.com>
References: <56C48E65.8040309@viva64.com>
 <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com>
User-Agent: Alpine 2.20 (BSF 67 2015-01-07)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII; format=flowed
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3
 (wonkity.com [127.0.0.1]); Thu, 18 Feb 2016 07:33:26 -0700 (MST)
X-BeenThere: freebsd-doc@freebsd.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: Documentation project <freebsd-doc.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-doc>,
 <mailto:freebsd-doc-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-doc/>
List-Post: <mailto:freebsd-doc@freebsd.org>
List-Help: <mailto:freebsd-doc-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-doc>,
 <mailto:freebsd-doc-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Feb 2016 14:33:27 -0000

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.