On Fri, Apr 7, 2017 at 3:50 PM, Tommi Pernila <tommi.pern...@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.
> 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.
firstname.lastname@example.org mailing list
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"