lkml.org 
[lkml]   [2010]   [May]   [26]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subjectsmatch 1.55 released
Smatch is a static checker for C.  The core parts basically do flow
analysis and then there are project specific checks as well. The
website is: http://smatch.sf.net

To use it do:
git clone git://repo.or.cz/smatch.git
cd smatch ; make ; cd /usr/src/kernel
make CHECK="~/path/to/smatch/smatch -p=kernel" C=1 \
bzImage modules | tee warns.txt

Things that have changed since 1.54:
* The array overflow check is now useful.
* There is a new check for precedence bugs caused by macro expansion.
* The checks for null pointer dereferences were rewritten and now have
fewer false positives.
* Some kernel specific tests were added for kunmap(),
release_resource(), resource_size(), and mod_timer().

Major Bugs:
* Smatch doesn't handle loops correctly.
* It doesn't do cross function analysis.
* It doesn't understand code like this:
foo->bar = NULL;
foo = not_null();
foo->bar->baz; // <- Smatch complains about a null dereference.
* Too many false positives generally.

Anyway, please test it out. :)

regards,
dan carpenter


\
 
 \ /
  Last update: 2010-05-27 00:37    [W:0.030 / U:0.116 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site