From owner-freebsd-doc@freebsd.org Wed Feb 17 15:15:24 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 0BAFAAAB648 for ; Wed, 17 Feb 2016 15:15:24 +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 E318012D1; Wed, 17 Feb 2016 15:15:22 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from Spooler by s24sixth.in-solve.ru (Mercury/32 v4.52) ID MO004C53; 17 Feb 2016 18:15:23 +0300 Received: from spooler by mail-aux2.in-solve.hidden (Mercury/32 v4.52); 17 Feb 2016 18:15:12 +0300 Received: from mail-aux2.in-solve.hidden (10.0.1.27) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG004C51; 17 Feb 2016 18:15:03 +0300 Received: from Spooler by mail-aux2.in-solve.hidden (Mercury/32 v4.52) ID MO000798; 17 Feb 2016 18:15:03 +0300 Received: from spooler by mail-aux2.in-solve.hidden (Mercury/32 v4.52); 17 Feb 2016 18:14:59 +0300 Received: from [192.168.1.87] (91.206.72.109) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG000796; 17 Feb 2016 18:14:49 +0300 From: Svyatoslav Razmyslov 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 Message-ID: <56C48E65.8040309@viva64.com> Date: Wed, 17 Feb 2016 18:14:45 +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: 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 15:15:24 -0000 Hi, Warren. We've published the article on our site, here is the message from our PR: Analysis of FreeBSD kernel by PVS-Studio. The development team of PVS-Studio static code analyzer checked FreeBSD OS kernel and published an article , describing the most suspicious fragments. http://www.viva64.com/en/b/0377/ Thanks! 10.02.2016 19:55, Warren Block пишет: > On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote: > >> 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. > > Please notify me or the freebsd-doc mailing list when the article is > ready. > > Thanks! > -- Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd)