Home

Dan Carpenter

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.


Project Members: