One of Linux's secret weapons is a little-known code analysis tool called "sparse". It's been smoking out kernel bugs for years, but only recently had its first release.
* Deceptive Header Screening threaten privacy, security
