From owner-freebsd-doc@freebsd.org Thu Feb 11 07:02:26 2016 Return-Path: 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 5A260AA404F for ; Thu, 11 Feb 2016 07:02:26 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from s24sixth.in-solve.ru (s24sixth.in-solve.ru [81.177.160.5]) by mx1.freebsd.org (Postfix) with ESMTP id 48695955; Thu, 11 Feb 2016 07:02:24 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from Spooler by s24sixth.in-solve.ru (Mercury/32 v4.52) ID MO001AAA; 11 Feb 2016 10:02:25 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 11 Feb 2016 10:02:11 +0300 Received: from mail.in-solve.hidden (10.0.1.27) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG001AA3; 11 Feb 2016 10:02:01 +0300 Received: from Spooler by mail.in-solve.hidden (Mercury/32 v4.52) ID MO0018C3; 11 Feb 2016 10:02:01 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 11 Feb 2016 10:01:53 +0300 Received: from [192.168.1.87] (91.206.72.109) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG0018BF; 11 Feb 2016 10:01:42 +0300 Subject: Re: Checking FreeBSD kernel with static analyzer To: Warren Block References: <56BB00C3.5060309@viva64.com> <56BB5718.1090700@viva64.com> Cc: freebsd-doc@FreeBSD.org, Andrey Karpov , wblock@FreeBSD.org From: Svyatoslav Razmyslov Message-ID: <56BC31B6.6010405@viva64.com> Date: Thu, 11 Feb 2016 10:01:10 +0300 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-BeenThere: freebsd-doc@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Documentation project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 11 Feb 2016 07:02:26 -0000 Hi, Warren. I used GitHub repository: https://github.com/freebsd/freebsd git branch: master For command: "git rev-list HEAD --count", verified revision is 217717. 10.02.2016 21:47, Warren Block пишет: > 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! > -- Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd)