Powered by Linux
Smatch v1.56 released — Semantic Matching Tool

Smatch v1.56 released

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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


[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux