descriptionStatic analysis for C
homepage URL
last changeFri, 1 May 2015 10:56:21 +0000 (1 13:56 +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]]

4 days ago Dan Carpenterflow: add a new expr->parent struct membermaster
8 days ago Dan Carpenterfixup_kernel: hard code __spi_sync() returns.
8 days ago Dan Carpenterfixup_kernel: kmalloc() can allocate more data. Let...
8 days ago Oleg Drokincheck_locking.c: Fix annoying invisible read_unlock
11 days ago Dan Carpentersmatch_address: sort pointers into different ranges
12 days ago Dan Carpenterextra: remove some unused functions
12 days ago Dan Carpentersmatch.h: add the comparison hook
13 days ago Dan Carpentertype_to_str: fix a crashing bug
13 days ago Firo Yangsmatch.h: add estate_get_single_value() declaration
2015-04-13 Dan Carpenterignore_side_effects: get_child_rcu() double evaluates...
2015-04-09 Dan Carpenterimplied: use comparison information for implications
2015-04-09 Dan Carpentersmatch.h: move stree_stack declaration from smatch_slis...
2015-04-07 Dan Carpenterrosenberg: add __builtin_memset/memcpy()
2015-03-30 Dan Carpenteruser_data2: handle returned struct members
2015-03-30 Dan Carpentercomparison: update a comment
2015-03-30 Dan update to reflect LIMIT/FILTER changes
3 months ago 1.60
15 months ago v0.5.0 Sparse 0.5.0
21 months ago 1.59
23 months ago v0.4.5-rc1 Sparse 0.4.5-rc1
2 years ago 1.57
2 years ago 1.58
3 years ago 1.56
3 years ago v0.4.4 sparse release 0.4.4
3 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
3 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
4 years ago v0.4.3 sparse 0.4.3 release
4 years ago 1.55
5 years ago 1.54
5 years ago v0.4.2 sparse 0.4.2
5 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
5 years ago 1.53
4 days ago master