Brainy: Set of 17 potential bugs

[Maxime Villard]

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