I was just reading http://faultlinux.lip6.fr/ which says that in 2011 the static checker fault rate in arch/ and fs/ was worse than in drivers/. I suspect that there are some security vulnerabilities there. regards, dan carpenter