It's been almost two years since the last Smatch release so probably it's time for another one. Smatch is a static analysis tool for C which has a lot of kernel specific checks. To run Smatch over the entire kernel use: smatch_scripts/test_kernel.sh To run Smatch over just one .c file, start at the base of the kernel tree and use: smatch_scripts/kchecker path/to/file.c The main new thing, is the new cross function database work. You build a database on the first run and then use the information on the second run. The script for to build the database is: smatch_scripts/build_kernel_data.sh Smatch still produces a lot of false positives. Also as bugs get fixed in the kernel, the false positive to real bug ratio gets worse and worse. But it does find real bugs as well. There is a mailing list smatch@xxxxxxxxxxxxxxx. regards, dan carpenter
Attachment:
signature.asc
Description: Digital signature