Date: Sat, 28 Feb 2015 15:51:46 +0100 From: Maxime Villard <max@M00nBSD.net> To: freebsd-hackers@freebsd.org Subject: Brainy: Set of 17 potential bugs Message-ID: <54F1D602.6050108@M00nBSD.net>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?54F1D602.6050108>