lkml.org 
[lkml]   [2012]   [Mar]   [4]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectSmatch v1.56 released
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
[unhandled content-type:application/pgp-signature]
\
 
 \ /
  Last update: 2012-03-04 19:05    [W:0.067 / U:1.804 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site