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 linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
