An experiment in finding kernel errors.
There are two main parts to Smatch. The first is a patch to the gcc sources to print out a lot of information. The second part is a collection of perl scripts and libraries to analyze the information.
Download
smatch - diff-smatch-v.50
Last Update: Jul 01 2003