Date: Fri, 7 Apr 2017 16:40:21 -0600 From: Warner Losh <imp@bsdimp.com> To: Tommi Pernila <tommi.pernila@iki.fi> Cc: freebsd-current <freebsd-current@freebsd.org> Subject: Re: PVS-Studio Analyzer Spots Bugs In the FreeBSD 2017 edition Message-ID: <CANCZdfoP_rnszF-3p%2Bjgk2NohwCCViqTAJo0vcwYqoio5Qg1Bg@mail.gmail.com> In-Reply-To: <CABHD1wRn2uwwh5aBS26pWg%2B71FAQ1P4yVB3Bp_8%2ByRGEg%2BVU6w@mail.gmail.com>
index | next in thread | previous in thread | raw e-mail
On Fri, Apr 7, 2017 at 3:50 PM, Tommi Pernila <tommi.pernila@iki.fi> wrote: > Hi all, > > just a heads up if you haven't yet seen this blog post from Andrey Karpov > from PVS-Studio. > It's a quite a long read. > https://www.viva64.com/en/b/0496/ > > Here's a few highlights (with some paraphrasing). > >>PVS-Studio fixed errors where it's clear how to fix them without digging > deep into the algorithms. >>That's why FreeBSD authors should really do a deeper analysis themselves, >>not just review that limited number of errors that we presented. > >>Andrey Karpov is ready to provide a temporary license key and also help to > eliminate false positives that may hinder their work. > > Anyone up for this task? There's folks that have contacted him. It's not quite as simple as he said in his post to give access to a run, since they need to filter things appropriately. It should be published next week, we're told, so we can make easy use of the results. Warnerhome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CANCZdfoP_rnszF-3p%2Bjgk2NohwCCViqTAJo0vcwYqoio5Qg1Bg>