Date: Fri, 03 Jul 2015 18:55:07 +0200 From: Maxime Villard <max@m00nbsd.net> To: Pedro Giffuni <pfg@FreeBSD.org> Cc: FreeBSD Hackers <freebsd-hackers@freebsd.org> Subject: Re: Brainy: Set of 17 potential bugs Message-ID: <5596BE6B.8030508@m00nbsd.net> In-Reply-To: <5596B894.5060708@FreeBSD.org> References: <5596B894.5060708@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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 Maxime
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5596BE6B.8030508>