Date: Thu, 18 Feb 2016 00:24:52 -0800 From: Russell Haley <russ.haley@gmail.com> To: Svyatoslav Razmyslov <razmyslov@viva64.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: <20160218082452.4382803.11148.3074@gmail.com> In-Reply-To: <56C57E08.5040207@viva64.com> References: <56C48E65.8040309@viva64.com> <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> <56C57E08.5040207@viva64.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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) _______________________________________________ freebsd-doc@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-doc To unsubscribe, send any mail to "freebsd-doc-unsubscribe@freebsd.org"
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20160218082452.4382803.11148.3074>