lkml.org 
[lkml]   [2012]   [Oct]   [31]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectSmatch 1.57 released
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


\
 
 \ /
  Last update: 2012-10-31 08:41    [W:0.031 / U:1.252 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site