From owner-freebsd-doc@freebsd.org  Wed Feb 10 18:47:04 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 37B59AA3679
 for <freebsd-doc@mailman.ysv.freebsd.org>;
 Wed, 10 Feb 2016 18:47:04 +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 0715EEFA;
 Wed, 10 Feb 2016 18:47:03 +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 u1AIl2im062405
 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO);
 Wed, 10 Feb 2016 11:47:02 -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 u1AIl1Tt062402;
 Wed, 10 Feb 2016 11:47:02 -0700 (MST)
 (envelope-from wblock@wonkity.com)
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
In-Reply-To: <56BB5718.1090700@viva64.com>
Message-ID: <alpine.BSF.2.20.1602101145330.99531@wonkity.com>
References: <56BB00C3.5060309@viva64.com>
 <alpine.BSF.2.20.1602100806460.99531@wonkity.com>
 <56BB5718.1090700@viva64.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]); Wed, 10 Feb 2016 11:47:02 -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: Wed, 10 Feb 2016 18:47:04 -0000

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!