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.
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities