Date: Fri, 19 Feb 2016 18:20:30 -0800 From: Russell Haley <russ.haley@gmail.com> To: Warren Block <wblock@wonkity.com> Cc: Svyatoslav Razmyslov <razmyslov@viva64.com>, Fehmi Noyan ISI <fnoyanisi@yahoo.com>, Andrey Karpov <karpov@viva64.com>, freebsd-doc@freebsd.org Subject: Re: Checking FreeBSD kernel with static analyzer Message-ID: <CABx9NuTb_bk3Rq-3wSrzW2Mejuy229OB_gMCCsqFXUjjKiGHUw@mail.gmail.com> In-Reply-To: <alpine.BSF.2.20.1602190918080.96831@wonkity.com> References: <20160218165425.4382803.23287.3091@gmail.com> <CABx9NuT8N4uavL0CxRkm5_7gCywgW8raQr2BMnThOMW0JknuRw@mail.gmail.com> <alpine.BSF.2.20.1602190918080.96831@wonkity.com>
index | next in thread | previous in thread | raw e-mail
On Fri, Feb 19, 2016 at 8:22 AM, Warren Block <wblock@wonkity.com> wrote: > On Thu, 18 Feb 2016, Russell Haley wrote: > >> Thanks warren, send me the csv when you get a chance. I'd really >> appreciate it. You implied in previous emails that there is a larger >> discussion going on about reviewing the data. Is there a public chat >> anywhere? I see this as an excellent learning tool for studying the >> code. > > > The code review is now open: https://reviews.freebsd.org/D5245 > > The unrestricted use original zip file supplied by PVS contained both text > and CSV report files. It is available here: > > https://people.freebsd.org/~wblock/files/PVS-Studio-log-freebsd.zip > > Thanks again to PVS for providing this! Ah, I see the "documentation" and "public chat" is happening in phabricator. Cheers, Russhome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CABx9NuTb_bk3Rq-3wSrzW2Mejuy229OB_gMCCsqFXUjjKiGHUw>