Brainy: Set of 17 potential bugs

[Pedro Giffuni]

Hi Maxime;

Le 28/02/2015 15:51, Maxime Villard a écrit :
> Hi,
> I have been developing a C code scanner for a while, particularly good at
> finding kernel bugs. I've scanned the FreeBSD tree partially, and among
> the numerous results, I've put here a list of 17 bugs affecting the
> FreeBSD-10 Stable kernel:
>
> 	http://m00nbsd.net/59a47a86959c23b3f7c8bc495598dfde.html

I think:
# 04 SYS/NFS/

		_01/FIXED-rev279405|UNINITIALIZED VAR: krpc_subr.crev256281

			     Uninitialized var 'so' at l.430.

is a false positive.

The socket is created on line 222.

Cheers,

Pedro.