Sparse is a KernelDevelopment tool created by LinusTorvalds.
It's home page is http://www.kernel.org/git/?p=devel/sparse/sparse.git;a=summary
2 pages link to Sparse: