From owner-freebsd-doc@freebsd.org Thu Feb 18 12:07:21 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 674D4AAC4C7 for ; Thu, 18 Feb 2016 12:07:21 +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 954DF17DC for ; Thu, 18 Feb 2016 12:07:19 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from Spooler by s24sixth.in-solve.ru (Mercury/32 v4.52) ID MO004A98; 18 Feb 2016 15:07:20 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 18 Feb 2016 15:07:07 +0300 Received: from mail.in-solve.hidden (10.0.1.27) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG004A94; 18 Feb 2016 15:07:01 +0300 Received: from Spooler by mail.in-solve.hidden (Mercury/32 v4.52) ID MO00378B; 18 Feb 2016 15:07:01 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 18 Feb 2016 15:06:58 +0300 Received: from [192.168.1.87] (91.206.72.109) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG003789; 18 Feb 2016 15:06:49 +0300 Subject: Re: Checking FreeBSD kernel with static analyzer To: Russell Haley , Fehmi Noyan ISI References: <56C48E65.8040309@viva64.com> <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> <56C57E08.5040207@viva64.com> <20160218082452.4382803.11148.3074@gmail.com> Cc: Andrey Karpov , freebsd-doc@FreeBSD.org From: Svyatoslav Razmyslov Message-ID: <56C5B3D5.5090608@viva64.com> Date: Thu, 18 Feb 2016 15:06: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: <20160218082452.4382803.11148.3074@gmail.com> 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, 18 Feb 2016 12:07:21 -0000 Hi Russell, I have sent the file in CSV format (PVS-Studio-log-freebsd.csv). Does it work for you? 18.02.2016 11:24, Russell Haley пишет: > Svyatoslav, > > Is there an output format for the issue report that could be massaged in python or lua or the like and submitted or imported through bugzilla? CSV, xml, json? > > Thanks > > Russ > > Sent from my BlackBerry 10 smartphone on the Koodo network. > Original Message > From: Svyatoslav Razmyslov > Sent: Thursday, February 18, 2016 12:17 AM > To: Fehmi Noyan ISI > Cc: Andrey Karpov; freebsd-doc@FreeBSD.org > Subject: Re: Checking FreeBSD kernel with static analyzer > > Unfortunately, we don't have enough resources to do that. Our small team > has already detected at least 9355 bugs in open source projects, besides > that we are still busy developing the PVS-Studio tool. Additionally, the > code of these projects is unfamiliar to us and we will work with it much > slower that the authors of these projects. Consequently, to delve into > each case and give a detailed correct description we'll have to have a > special department for it. That's why at this point we can only help the > projects by writing articles, providing the check logs and temporary > keys for a thorough project check. > > > 18.02.2016 1:08, Fehmi Noyan ISI пишет: >> Hi Svyatoslav, >> >> Seems like an interesting report! >> >> Wonder if all those findings will be submitted in the form of bug >> reports or email to individual developers working on the particular >> project that the bug is addressed. >> -- Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd)