Date: Fri, 03 Jul 2015 15:47:15 -0500 From: Pedro Giffuni <pfg@FreeBSD.org> To: Maxime Villard <max@m00nbsd.net> Cc: FreeBSD Hackers <freebsd-hackers@freebsd.org> Subject: Re: Brainy: Set of 17 potential bugs Message-ID: <5596F4D3.5020602@FreeBSD.org> In-Reply-To: <5596BE6B.8030508@m00nbsd.net> References: <5596B894.5060708@FreeBSD.org> <5596BE6B.8030508@m00nbsd.net>
next in thread | previous in thread | raw e-mail | index | archive | help
On 07/03/15 11:55, Maxime Villard wrote: > Le 03/07/2015 18:30, Pedro Giffuni a écrit : >> 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. >> > > I guess you didn't spot the "FIXED-rev279405" mentioned in the line you > just quoted. > > Fixed four months ago: > > http://svnweb.freebsd.org/base/head/sys/nfs/krpc_subr.c?view=log Ah, oops ... Sorry for *my* false positive. I shouldn't try to figure out stuff like this from a tablet. ;) Pedro.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5596F4D3.5020602>