Smatch v1.56 released

Dan Carpenter
2012-03-04T18:02:44Z

[-- Attachment #1: Type: text/plain, Size: 862 bytes --]

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@vger.kernel.org.

regards,
dan carpenter

[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 836 bytes --]