Checking FreeBSD kernel with static analyzer

Russell Haley russ.haley at gmail.com
Sat Feb 20 02:20:31 UTC 2016


On Fri, Feb 19, 2016 at 8:22 AM, Warren Block <wblock at 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,

Russ


More information about the freebsd-doc mailing list