Smatch is a C static analysis tool, but with a lot of kernel specific checks. It's been 8 months since I did a Smatch release so probably another one was due. The main interesting thing right now is the value tracking across function boundaries with the database. But also there was a some work done with array out of bounds detection. And internally there was a fix so it should run faster and use less memory. Along with lots of other small fixes. The way to use Smatch is: git clone git://repo.or.cz/smatch.git cd smatch make cd ~/path/to/kernel [ This next step is optional if you want to build the database. If you build it several times the database becomes more complete. ] ~/path/to/smatch/smatch_scripts/build_kernel_data.sh ~/path/to/smatch/smatch_scripts/test_kernel.sh It creates warns.txt file with all the warnings. Or alternatively if you just want to check one file then the command is: ~/progs/smatch/devel/smatch_scripts/kchecker drivers/file.c regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe smatch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
