Date: Thu, 18 Feb 2016 15:06:45 +0300 From: Svyatoslav Razmyslov <razmyslov@viva64.com> To: Russell Haley <russ.haley@gmail.com>, Fehmi Noyan ISI <fnoyanisi@yahoo.com> Cc: Andrey Karpov <karpov@viva64.com>, freebsd-doc@FreeBSD.org Subject: Re: Checking FreeBSD kernel with static analyzer Message-ID: <56C5B3D5.5090608@viva64.com> In-Reply-To: <20160218082452.4382803.11148.3074@gmail.com> References: <56C48E65.8040309@viva64.com> <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> <56C57E08.5040207@viva64.com> <20160218082452.4382803.11148.3074@gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?56C5B3D5.5090608>