Messages in this thread | | | Date | Wed, 31 Oct 2012 10:10:05 +0300 | From | Dan Carpenter <> | Subject | Smatch 1.57 released |
| |
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
| |