Date: Wed, 10 Feb 2016 08:08:44 -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 Message-ID: <alpine.BSF.2.20.1602100806460.99531@wonkity.com> In-Reply-To: <56BB00C3.5060309@viva64.com> References: <56BB00C3.5060309@viva64.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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: <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 04D97AA4D20 for <freebsd-doc@mailman.ysv.freebsd.org>; 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 <wblock@wonkity.com> References: <56BB00C3.5060309@viva64.com> <alpine.BSF.2.20.1602100806460.99531@wonkity.com> Cc: freebsd-doc@FreeBSD.org, Andrey Karpov <karpov@viva64.com>, wblock@FreeBSD.org From: Svyatoslav Razmyslov <razmyslov@viva64.com> 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: <alpine.BSF.2.20.1602100806460.99531@wonkity.com> 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 <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 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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?alpine.BSF.2.20.1602100806460.99531>