From owner-freebsd-doc@freebsd.org Wed Feb 17 05:16:23 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 4AA5FAAB9C4 for ; Wed, 17 Feb 2016 05:16:23 +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 39529162A; Wed, 17 Feb 2016 05:16:21 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from Spooler by s24sixth.in-solve.ru (Mercury/32 v4.52) ID MO001C84; 17 Feb 2016 08:16:22 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 17 Feb 2016 08:16:00 +0300 Received: from mail.in-solve.hidden (10.0.1.27) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG001C83; 17 Feb 2016 08:15:51 +0300 Received: from Spooler by mail.in-solve.hidden (Mercury/32 v4.52) ID MO0001C3; 17 Feb 2016 08:15:51 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 17 Feb 2016 08:15:41 +0300 Received: from [192.168.1.87] (91.206.72.109) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG0001BD; 17 Feb 2016 08:15:27 +0300 Subject: Re: Checking FreeBSD kernel with static analyzer To: =?UTF-8?Q?Dag-Erling_Sm=c3=b8rgrav?= References: <56BB00C3.5060309@viva64.com> <56BB5718.1090700@viva64.com> <56BC31B6.6010405@viva64.com> <20160215014958.4403283.67999.2948@gmail.com> <56C18380.90405@viva64.com> <86y4aktt97.fsf@desk.des.no> Cc: Russell Haley , Warren Block , Andrey Karpov , freebsd-doc@freebsd.org, wblock@freebsd.org From: Svyatoslav Razmyslov Message-ID: <56C401EB.3080800@viva64.com> Date: Wed, 17 Feb 2016 08:15:23 +0300 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <86y4aktt97.fsf@desk.des.no> 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: Wed, 17 Feb 2016 05:16:23 -0000 46763fd4ca8a37f836c9bf2333f9d687509278f3 16.02.2016 21:17, Dag-Erling Smørgrav пишет: > Svyatoslav Razmyslov writes: >> I downloaded the source code with the command "git clone >> https://github.com/freebsd/freebsd.git" (master branch). If you need >> additional information, please, send the necessary commands for Git >> and I'll send you the result. > Can you please show the result of "git rev-parse HEAD"? > > DES -- Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd)