descriptionStatic analysis for C
homepage URL
last changeSat, 16 Jul 2016 21:44:53 +0000 (17 00:44 +0300)
content tags
Smatch is a static analysis tool for C. Most of the checks are for the linux kernel. Please write checks for your project. It's fun and easy!

There is a mailing list [smatch [at]]

2016-07-16 Dan Carpenterdebug: add a __smatch_absolute()master
2016-07-16 Dan Carpenteruser_data: short circuit a bunch of code
2016-07-16 Dan Carpenterdma_mapping_error: add pci_dma_mapping_error() to this...
2016-07-16 Dan Carpentercontinue_vs_break: add it checklist.h
2016-07-16 Dan Carpentersmatch_address: don't crash on invalid code
2016-07-16 Dan Carpenter*new* continue_vs_break: complain if continue is used...
2016-07-16 Dan Carpentersmatch.h: reserve some db types for later
2016-07-16 Dan Carpentersmatch.h: shuffle some declarations around
2016-07-16 Dan Carpentersmatch.h: silence a compile warning
2016-07-16 Dan Carpentercapped: set it to uncapped if it's modified
2016-07-16 Dan Carpenterdb/ work around for __to_fd()
2016-07-16 Dan Carpenterdb/ work around for gfs2_ea_find()
2016-07-16 Dan Carpenterdb/kernel.return_fixes: specify some functions that...
2016-07-16 Dan Carpenterimplied: add more information to the debug output
2016-07-16 Dan Carpenterdebug: print if you give a bad check name to __smatch_s...
2016-07-16 Dan Carpentersmatch_data/wine: update wine data files
22 months ago 1.60
2 years ago v0.5.0 Sparse 0.5.0
3 years ago 1.59
3 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
3 years ago 1.58
3 years ago 1.57
4 years ago 1.56
5 years ago v0.4.4 sparse release 0.4.4
5 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
5 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
6 years ago v0.4.3 sparse 0.4.3 release
6 years ago 1.55
6 years ago 1.54
7 years ago v0.4.2 sparse 0.4.2
7 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
7 years ago 1.53
4 months ago master