Date: Fri, 03 Jul 2015 11:30:12 -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: <5596B894.5060708@FreeBSD.org>
next in thread | raw e-mail | index | archive | help
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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5596B894.5060708>