Sparse - a semantic parser for C. http://www. kernel.org/pub/software/devel/sparse (2003)

by Linus Torvalds