Brainy: Set of 17 potential bugs

[Maxime Villard]

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 at freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
> To unsubscribe, send any mail to "freebsd-hackers-unsubscribe at freebsd.org"
>