Date: Thu, 02 Jul 2015 19:55:40 +0200 From: Maxime Villard <max@m00nbsd.net> To: freebsd-hackers@freebsd.org Subject: Re: Brainy: Set of 17 potential bugs Message-ID: <55957B1C.3070609@m00nbsd.net> In-Reply-To: <54F1D602.6050108@M00nBSD.net> References: <54F1D602.6050108@M00nBSD.net>
next in thread | previous in thread | raw e-mail | index | archive | help
Reminder: 12 bugs are still not fixed. 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 > > Found by The Brainy Code Scanner. More information: max at m00nbsd dot net > > Regards, > Maxime Villard > _______________________________________________ > freebsd-hackers@freebsd.org mailing list > http://lists.freebsd.org/mailman/listinfo/freebsd-hackers > To unsubscribe, send any mail to "freebsd-hackers-unsubscribe@freebsd.org" >
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?55957B1C.3070609>