Date: Sun, 01 Mar 2015 12:58:55 +0100 From: =?windows-1252?Q?V=E1clav_Zeman?= <vhaisman@gmail.com> To: freebsd-hackers@freebsd.org Subject: Re: Brainy: Set of 17 potential bugs Message-ID: <54F2FEFF.40609@gmail.com> In-Reply-To: <54F1D602.6050108@M00nBSD.net> References: <54F1D602.6050108@M00nBSD.net>
next in thread | previous in thread | raw e-mail | index | archive | help
[-- Attachment #1 --] On 28.2.2015 15:51, Maxime Villard wrote: > 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 find the page rather confusing with the numbering: `0x09 LEAK: ixl/ixlvc.c rev274360` is followed by `0x10 LEAK: ixl/ixlvc.c rev274360`, which is not what I would expect from hexadecimal numbers. > > Found by The Brainy Code Scanner. More information: max at m00nbsd dot net -- VZ [-- Attachment #2 --] -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iF4EAREKAAYFAlTy/v8ACgkQonnuNA9W3VKCuQD/YzOYwGhwFFr5bj2OSW1MTYVF FavN9EAjVHFgXtLneBMA/A7lkMEFqNawA0zmiAjDoVbf+Sk7MEpB1Etxzr/AoZR/ =Drp6 -----END PGP SIGNATURE-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?54F2FEFF.40609>