From owner-freebsd-doc@freebsd.org Wed Feb 10 15:08:47 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 6A445AA4674 for ; Wed, 10 Feb 2016 15:08:47 +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 3C63D17CE; Wed, 10 Feb 2016 15:08:47 +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 u1AF8i9c006478 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Wed, 10 Feb 2016 08:08:44 -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 u1AF8i5U006475; Wed, 10 Feb 2016 08:08:44 -0700 (MST) (envelope-from wblock@wonkity.com) Date: Wed, 10 Feb 2016 08:08:44 -0700 (MST) From: Warren Block To: Svyatoslav Razmyslov cc: freebsd-doc@FreeBSD.org, Andrey Karpov , wblock@FreeBSD.org Subject: Re: Checking FreeBSD kernel with static analyzer In-Reply-To: <56BB00C3.5060309@viva64.com> Message-ID: References: <56BB00C3.5060309@viva64.com> User-Agent: Alpine 2.20 (BSF 67 2015-01-07) MIME-Version: 1.0 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3 (wonkity.com [127.0.0.1]); Wed, 10 Feb 2016 08:08:44 -0700 (MST) Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8BIT X-Content-Filtered-By: Mailman/MimeDel 2.1.20 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, 10 Feb 2016 15:08:47 -0000 On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote: > Hello! > > I'm an employee of "Program Verification Systems" company. We develop a > static code analyzer PVS-Studio for C/C++/C# languages. To demonstrate the > capabilities of our analyzer, we regularly perform analysis of open source > projects. > > Recently we’ve checked FreeBSD kernel and now are planning to write an > article with examples of errors which we found. You can find a list of > articles, where we write about check reports of other open-source projects on > our web-page - http://www.viva64.com/en/a/0084/. > > Official site of the analyzer - http://www.viva64.com/en/pvs-studio/ > > We can also provide a full check report by PVS-Studio if needed. Could you > also help to distribute the article by posting this news on your web-site? There might be some interest in this, I will investigate. Would the check report be freely available, without restrictions? Thanks! From owner-freebsd-doc@freebsd.org Wed Feb 10 15:29:30 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 04D97AA4D20 for ; Wed, 10 Feb 2016 15:29:30 +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 BB4F41FF7; Wed, 10 Feb 2016 15:29:26 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from Spooler by s24sixth.in-solve.ru (Mercury/32 v4.52) ID MO003F9F; 10 Feb 2016 18:29:28 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 10 Feb 2016 18:29:17 +0300 Received: from mail.in-solve.hidden (10.0.1.27) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG003F9E; 10 Feb 2016 18:29:11 +0300 Received: from Spooler by mail.in-solve.hidden (Mercury/32 v4.52) ID MO005E37; 10 Feb 2016 18:29:12 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 10 Feb 2016 18:29:01 +0300 Received: from [192.168.1.87] (91.206.72.109) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG005E35; 10 Feb 2016 18:28:54 +0300 Subject: Re: Checking FreeBSD kernel with static analyzer To: Warren Block References: <56BB00C3.5060309@viva64.com> Cc: freebsd-doc@FreeBSD.org, Andrey Karpov , wblock@FreeBSD.org From: Svyatoslav Razmyslov Message-ID: <56BB5718.1090700@viva64.com> Date: Wed, 10 Feb 2016 18:28:24 +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-Content-Filtered-By: Mailman/MimeDel 2.1.20 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, 10 Feb 2016 15:29:30 -0000 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. Thanks! 10.02.2016 18:08, Warren Block пишет: > On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote: > >> Hello! >> >> I'm an employee of "Program Verification Systems" company. We develop >> a static code analyzer PVS-Studio for C/C++/C# languages. To >> demonstrate the capabilities of our analyzer, we regularly perform >> analysis of open source projects. >> >> Recently we’ve checked FreeBSD kernel and now are planning to write >> an article with examples of errors which we found. You can find a >> list of articles, where we write about check reports of other >> open-source projects on our web-page - http://www.viva64.com/en/a/0084/. >> >> Official site of the analyzer - http://www.viva64.com/en/pvs-studio/ >> >> We can also provide a full check report by PVS-Studio if needed. >> Could you also help to distribute the article by posting this news on >> your web-site? > > There might be some interest in this, I will investigate. Would the > check report be freely available, without restrictions? > > Thanks! -- Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd)