descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeSat, 16 Jul 2016 21:44:53 +0000 (17 00:44 +0300)
content tags
add:
readme
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] vger.kernel.org]

shortlog
13 days ago Dan Carpenterdebug: add a __smatch_absolute()master
13 days ago Dan Carpenteruser_data: short circuit a bunch of code
13 days ago Dan Carpenterdma_mapping_error: add pci_dma_mapping_error() to this...
13 days ago Dan Carpentercontinue_vs_break: add it checklist.h
13 days ago Dan Carpentersmatch_address: don't crash on invalid code
13 days ago Dan Carpenter*new* continue_vs_break: complain if continue is used...
13 days ago Dan Carpentersmatch.h: reserve some db types for later
13 days ago Dan Carpentersmatch.h: shuffle some declarations around
13 days ago Dan Carpentersmatch.h: silence a compile warning
13 days ago Dan Carpentercapped: set it to uncapped if it's modified
13 days ago Dan Carpenterdb/fixup_kernel.sh: work around for __to_fd()
13 days ago Dan Carpenterdb/fixup_kernel.sh: work around for gfs2_ea_find()
13 days ago Dan Carpenterdb/kernel.return_fixes: specify some functions that...
13 days ago Dan Carpenterimplied: add more information to the debug output
13 days ago Dan Carpenterdebug: print if you give a bad check name to __smatch_s...
13 days ago Dan Carpentersmatch_data/wine: update wine data files
...
tags
18 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
4 years ago v0.4.4 sparse release 0.4.4
4 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
4 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
5 years ago v0.4.3 sparse 0.4.3 release
6 years ago 1.55
6 years ago 1.54
6 years ago v0.4.2 sparse 0.4.2
6 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
7 years ago 1.53
...
heads
13 days ago master