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 py= thon or lua or the like and submitted or imported through bugzilla? CSV, xm= l, json? Thanks Russ Sent=C2=A0from=C2=A0my=C2=A0BlackBerry=C2=A010=C2=A0smartphone=C2=A0on=C2= =A0the=C2=A0Koodo=C2=A0network. =C2=A0 Original Message =C2=A0 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=20 has already detected at least 9355 bugs in open source projects, besides=20 that we are still busy developing the PVS-Studio tool. Additionally, the=20 code of these projects is unfamiliar to us and we will work with it much=20 slower that the authors of these projects. Consequently, to delve into=20 each case and give a detailed correct description we'll have to have a=20 special department for it. That's why at this point we can only help the=20 projects by writing articles, providing the check logs and temporary=20 keys for a thorough project check. 18.02.2016 1:08, Fehmi Noyan ISI =D0=BF=D0=B8=D1=88=D0=B5=D1=82: > Hi Svyatoslav, > > Seems like an interesting report! > > Wonder if all those findings will be submitted in the form of bug=20 > reports or email to individual developers working on the particular=20 > project that the bug is addressed. > --=20 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>