Sparse contains built-in checks for known problematic and a set of annotations designed to convey semantic information about types, such as what address space pointers point to, or what locks a function acquires or releases.
Kernel Space: Sparse gets a maintainer; 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 itsfirst release.
Nov 14, 2006; The "sparse" utility has long been one of Linux's best-kept secrets. It is a static analysis tool which can find a wide...